| Original language | English |
|---|---|
| Publication status | Published - 1992 |
Specifying Temporal Requirements for Distributed Real-Time Systems in Z
A. Coombes, J.A. McDermid
Research output: Working paper
A. Coombes, J.A. McDermid
Research output: Working paper
| Original language | English |
|---|---|
| Publication status | Published - 1992 |