| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 1st PROGRESS workshop on Embedded Systems |
| Place of Publication | Netherlands, Utrecht |
| Pages | 1- |
| Publication status | Published - 2000 |
Model Checking Manufacturing Systems: A Case Study
V. Bos, J.J.T. Kleijn
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic