Model-Checking Real-Time Control Programs

K.G. Larsen

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

    31 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of the 12th Euromicro Conference on Real-Time Systems, 2000
    Place of PublicationStockholm
    Pages147-156
    Publication statusPublished - 22 Mar 2000

    Keywords

    • METIS-119668

    Cite this