Event structures for design and transformation in LOTOS

Romanus Langerak

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publicationFORTE 1991
    Place of PublicationSydney, Australia
    Pages-
    Number of pages16
    Publication statusPublished - 19 Nov 1991

    Keywords

    • METIS-119502

    Cite this