The following pages link to (Q5200808):
Displaying 7 items.
- The two variable per inequality abstract domain (Q656848) (← links)
- Analysing neurobiological models using communicating automata (Q736844) (← links)
- How to stop time stopping (Q855006) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems (Q1047214) (← links)
- Model-checking timed automata with deadlines with Uppaal (Q1941900) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
