Formal specification and analysis of production systems

V. Bos, J.J.T. Kleijn

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 16th International Conference on Production Research (ICPR 16, Prague, Czech Republic, July 29-August 3, 2001)
Editors	D. Hanus, J. Talácko
Publication status	Published - 2001

Cite this

@inproceedings{fe5b89bf75c04be59fd3763bdb0decb4,

title = "Formal specification and analysis of production systems",

author = "V. Bos and J.J.T. Kleijn",

year = "2001",

language = "English",

editor = "D. Hanus and J. Tal{\'a}cko",

booktitle = "Proceedings of the 16th International Conference on Production Research (ICPR 16, Prague, Czech Republic, July 29-August 3, 2001)",

}