CTL* Model Checking for SPIN

Willem Visser, Howard Barringer

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

    Original languageEnglish
    Title of host publicationhost publication
    PublisherÉcole Nationale Supérieure des Telecommunications
    Publication statusPublished - 1998

    Cite this