Sciweavers

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