×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [initial state o]
AltaRica A Formal Language for Event Oriented Modeling A. Rauzy IML/CNRS & ARBoost Technologies Marseilles, France
215 views
272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lectures 8 and 9: Model Checking Programs
214 views