Original language | Undefined |
---|---|
Title of host publication | Formal Techniques in Real-Time and Fault-Tolerant Systems |
Pages | 307-326 |
Number of pages | 20 |
Publication status | Published - 1 Sep 1992 |
Keywords
- METIS-119895
W.P.M. Janssen, Jakob Zwiers
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | Undefined |
---|---|
Title of host publication | Formal Techniques in Real-Time and Fault-Tolerant Systems |
Pages | 307-326 |
Number of pages | 20 |
Publication status | Published - 1 Sep 1992 |