Sciweavers

2139 search results - page 80 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
CONCUR
1995
Springer
15 years 10 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen