Enhancements of LOTOS

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationLOTOSphere, software Development with LOTOS
    PublisherKluwer Academic Publishers
    Pages453-466
    ISBN (Print)0-7923-9529-8
    Publication statusPublished - 1995

    Keywords

    • METIS-119004

    Cite this

    Brinksma, H., & Leih, G. (1995). Enhancements of LOTOS. In LOTOSphere, software Development with LOTOS (pp. 453-466). Kluwer Academic Publishers.