Sciweavers

93
Voted
CONCUR
1995
Springer

Compositional Model Checking of Real Time Systems

15 years 11 days ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1995
Where CONCUR
Authors François Laroussinie, Kim Guldstrand Larsen
Comments (0)