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