| Original language | English |
|---|---|
| Publisher | Technische Universiteit Eindhoven |
| Publication status | Published - 1998 |
Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions
Research output: Non-textual form › Software › Professional