Sciweavers

581 search results - page 13 / 117
» On Real-Time and Non Real-Time Distributed Computing
Sort
View
CONCUR
1995
Springer
13 years 11 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen