| Original language | English |
|---|---|
| Pages | 139-141 |
| Publication status | Published - 1988 |
Low Level Synchronisation Problems in Digital Systems: Formal techniques in Real-Time Fault-Tolerant Systems
John A. McDermid, G. Morgan, Mathai Joseph
Research output: Contribution to conference › Paper › peer-review