Stepwise CTL model checking of state/event systems

Jørn Lind-Nielsen, Henrik Reif Andersen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationStepwise CTL model checking of state/event systems
    PublisherSpringer Verlag
    Publication date1999
    Publication statusPublished - 1999
    EventComputer Aided Verification '99 - Trento
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceComputer Aided Verification '99
    CityTrento
    Period01/01/1999 → …

    Cite this