Formal specification and analysis of production systems

V. Bos, J.J.T. Kleijn

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Production Research (ICPR 16, Prague, Czech Republic, July 29-August 3, 2001)
EditorsD. Hanus, J. Talácko
Publication statusPublished - 2001

Cite this

Bos, V., & Kleijn, J. J. T. (2001). Formal specification and analysis of production systems. In D. Hanus, & J. Talácko (Eds.), Proceedings of the 16th International Conference on Production Research (ICPR 16, Prague, Czech Republic, July 29-August 3, 2001)