Model Checking Manufacturing Systems: A Case Study

V. Bos, J.J.T. Kleijn

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageEnglish
    Title of host publicationProceedings of the 1st PROGRESS workshop on Embedded Systems
    Place of PublicationNetherlands, Utrecht
    Pages1-
    Publication statusPublished - 2000

    Cite this

    Bos, V., & Kleijn, J. J. T. (2000). Model Checking Manufacturing Systems: A Case Study. In Proceedings of the 1st PROGRESS workshop on Embedded Systems (pp. 1-).