| Original language | English |
|---|---|
| Pages (from-to) | 15-30 |
| Journal | Parallel and Distributed Computing Practices |
| Volume | 1 |
| Issue number | 2 |
| Publication status | Published - 1998 |
Formal design of real-time systems in a platform-independent way
J.J.M. Hooman, O.S. Roosmalen, van
Research output: Contribution to journal › Article › Academic › peer-review