Searching for "Model-based runtime analysis of distributed reactive systems." – sorted by Relevance.
-
Model-Based Runtime Analysis of Distributed Reactive Systems
- Model-based runtime analysis of distributed reactive systems Andreas Bauer Martin Leucker
- Cited by 3 (1 self) – Add To MetaCart

