×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [executions of state]
ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs
29 views
ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs
27 views