On the Parallelisation of Model Checking

Cornelia Inggs, Howard Barringer

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

    Original languageEnglish
    Title of host publicationhost publication
    PublisherUniversity of Birmingham, School of Computer Science
    Publication statusPublished - 2002

    Cite this