On the Design and Implementation of Distributed Systems Using LOTOS

Hendrik Brinksma

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

    Original languageUndefined
    Title of host publicationProceedings 10th SBRC
    Place of PublicationRecife, Brazilie
    Pages-
    Number of pages1
    Publication statusPublished - 15 Apr 1992

    Keywords

    • METIS-119477

    Cite this