| Original language | English |
|---|---|
| Place of Publication | Eindhoven |
| Publisher | Philips Centre for Manufacturing Technology |
| Number of pages | 93 |
| Publication status | Published - 1988 |
| Externally published | Yes |
Implementation of events in LOTOS-specifications
Research output: Book/Report › Report › Academic
2
Downloads
(Pure)