Cited in
(9)- A temporal logic for real-time partial ordering with named transactions
- What is in a step: new perspectives on a classical question
- A survey on temporal logics for specifying and verifying real-time systems
- SugarCubes
- ULM
- DCVALID
- IDLVALID
- Constructive semantics for instantaneous reactions
- Controller synthesis for dynamic hierarchical real-time plants using timed automata
This page was built for software: Modechart
