Verification and optimization of a PLC control schedule

E. Brinksma

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

    21 Citations (Scopus)
    Original languageEnglish
    Title of host publicationSPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000)
    EditorsK. Havelund, J. Penix, W. Visser
    PublisherSpringer
    Pages73-92
    ISBN (Print)3-540-41030-9
    DOIs
    Publication statusPublished - 2000

    Publication series

    NameLecture Notes in Computer Science
    Volume1885
    ISSN (Print)0302-9743

    Cite this