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.
    Brinksma, Hendrik ; Leih, G. / Enhancements of LOTOS. LOTOSphere, software Development with LOTOS. Kluwer Academic Publishers, 1995. pp. 453-466
    @inbook{72a3429b4644494d902c2a8975e417a6,
    title = "Enhancements of LOTOS",
    keywords = "METIS-119004",
    author = "Hendrik Brinksma and G. Leih",
    year = "1995",
    language = "Undefined",
    isbn = "0-7923-9529-8",
    pages = "453--466",
    booktitle = "LOTOSphere, software Development with LOTOS",
    publisher = "Kluwer Academic Publishers",
    address = "Netherlands",

    }

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

    Enhancements of LOTOS. / Brinksma, Hendrik; Leih, G.

    LOTOSphere, software Development with LOTOS. Kluwer Academic Publishers, 1995. p. 453-466.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Enhancements of LOTOS

    AU - Brinksma, Hendrik

    AU - Leih, G.

    PY - 1995

    Y1 - 1995

    KW - METIS-119004

    M3 - Chapter

    SN - 0-7923-9529-8

    SP - 453

    EP - 466

    BT - LOTOSphere, software Development with LOTOS

    PB - Kluwer Academic Publishers

    ER -

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