From data structures to process structure

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationComputer Aided Verification
    Pages-
    Number of pages11
    Publication statusPublished - 1991

    Keywords

    • METIS-119018

    Cite this

    Brinksma, H. (1991). From data structures to process structure. In Computer Aided Verification (pp. -)