6 search results - page 2 / 2 » Real-Time Model Checking Is Really Simple |
TIME
2006
IEEE
14 years 8 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...