Sciweavers

13041 search results - page 165 / 2609
» Simulating space and time
Sort
View
156
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 7 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
152
Voted
TOMACS
1998
63views more  TOMACS 1998»
15 years 7 months ago
Design-Time Simulation of a Large-Scale, Distributed Object System
Svend Frølund, Pankaj K. Garg