Sciweavers

5448 search results - page 23 / 1090
» Breakpoints and Time in Distributed Computations
Sort
View
CONCUR
1995
Springer
13 years 11 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
REX
1991
13 years 11 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli