Sciweavers

7918 search results - page 79 / 1584
» Model Composition Directives
Sort
View
FORMATS
2008
Springer
13 years 11 months ago
Compositional Abstraction in Real-Time Model Checking
Jasper Berendsen, Frits W. Vaandrager