The following pages link to (Q4732449):
Displaying 11 items.
- Interface theories for concurrency and data (Q549177) (← links)
- Graphical versus logical specifications (Q685358) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)
- Model-checking for real-time systems (Q5055879) (← links)