Similar Items: Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
- Reconfiguration and Message Losses in Parameterized Broadcast Networks
- Model-Checking Problems as a Basis for Parameterized Intractability
- The parameterized space complexity of model-checking bounded variable first-order logic
- Real-Time Model-Checking: Parameters everywhere
- Parameterized Synthesis
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems