Similar Items: Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
- Model Checking Synchronized Products of Infinite Transition Systems
- Labelled transition systems as a Stone space
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Model Checking Vector Addition Systems with one zero-test
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems