Sciweavers

2025 search results - page 62 / 405
» Minimal-Cut Model Composition
Sort
View
FORMATS
2008
Springer
13 years 9 months ago
Compositional Abstraction in Real-Time Model Checking
Jasper Berendsen, Frits W. Vaandrager
IJCAI
1993
13 years 9 months ago
Compositional Model-Based Design
Prasanta K. Bose, Shankar A. Rajamoney