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. -)
    Brinksma, Hendrik. / From data structures to process structure. Computer Aided Verification. 1991. pp. -
    @inbook{d1619739bde149efa92537f0ac357a23,
    title = "From data structures to process structure",
    keywords = "METIS-119018",
    author = "Hendrik Brinksma",
    year = "1991",
    language = "Undefined",
    isbn = "3-540-55179-4",
    pages = "--",
    booktitle = "Computer Aided Verification",

    }

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

    From data structures to process structure. / Brinksma, Hendrik.

    Computer Aided Verification. 1991. p. -.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - From data structures to process structure

    AU - Brinksma, Hendrik

    PY - 1991

    Y1 - 1991

    KW - METIS-119018

    M3 - Chapter

    SN - 3-540-55179-4

    SP - -

    BT - Computer Aided Verification

    ER -

    Brinksma H. From data structures to process structure. In Computer Aided Verification. 1991. p. -