Verification of parallel systems via decomposition

J.F. Groote, F. Moller

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

    24 Citations (Scopus)
    Original languageEnglish
    Title of host publicationCONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992)
    EditorsR. Cleaveland
    Place of PublicationBerlin
    PublisherSpringer
    Pages62-76
    ISBN (Print)3-540-55822-5
    Publication statusPublished - 1992

    Publication series

    NameLecture Notes in Computer Science
    Volume630
    ISSN (Print)0302-9743

    Cite this