| Original language | English |
|---|---|
| Title of host publication | Software Specificatie Technieken (Philips-OIT/TUE-RC Colloquium, Eindhoven, The Netherlands, 1986) |
| Editors | J.A.A.M. Poirters, G.J. Schoenmakers |
| Place of Publication | Schoonhoven |
| Publisher | Academic Service |
| Pages | 177-186 |
| ISBN (Print) | 90-6233-269-2 |
| Publication status | Published - 1987 |
Specifying message passing and realt-time systems with temporal logic
R.L.C. Koymans
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review