×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [model limited]
GU STIA305 03
240 views
© 2009 Maplesoft, a division of Waterloo Maple Inc. Computer Algebra vs. Reality Erik Postma and Elena Shmoylova Maplesoft June 25, 2009
218 views
Model Checking Large-Scale Software Natasha Sharygina Carnegie Mellon University Software Engineering Institute
216 views