Towards Analysis and Verification of Concurrent Systems by State Space Generation

A. Valmari

    Research output: Book/ReportDoctoral thesisCollection of Articles

    Translated title of the contributionTowards Analysis and Verification of Concurrent Systems by State Space Generation
    Original languageEnglish
    Place of PublicationTampere
    PublisherTampere University of Technology
    Publication statusPublished - 1988
    Publication typeG5 Doctoral dissertation (articles)

    Publication series

    NameTampereen teknillinen korkeakoulu. Julkaisuja
    PublisherTampere University of Technology

    Publication forum classification

    • No publication forum level

    Cite this