| Original language | English |
|---|---|
| Pages | 1-6 |
| Publication status | Published - 1991 |
TARDIS/Z: A Technique for Formal Specification of High Integrity and Real Time Systems
A. C. Coombes, A. Burns, J. A. McDermid, B.A. Wichmann
Research output: Contribution to conference › Paper › peer-review