From data structure to process structure

E. Brinksma

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

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationComputer Aided Verification (Proceedings 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991)
    EditorsK.G. Larsen, A. Skou
    PublisherSpringer
    Pages244-254
    ISBN (Print)3-540-55179-4
    DOIs
    Publication statusPublished - 1992

    Publication series

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

    Cite this