Transformations and semantics for LOTOS

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    Original languageUndefined
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Brinksma, Hendrik , Supervisor
    Award date30 Nov 1992
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9005613-0
    Publication statusPublished - 30 Nov 1992

    Keywords

    • METIS-118406

    Cite this

    Langerak, R. (1992). Transformations and semantics for LOTOS. Enschede: Universiteit Twente.
    Langerak, Romanus. / Transformations and semantics for LOTOS. Enschede : Universiteit Twente, 1992. 170 p.
    @phdthesis{74a68edbba054f1caa643fd81bf05ed0,
    title = "Transformations and semantics for LOTOS",
    keywords = "METIS-118406",
    author = "Romanus Langerak",
    year = "1992",
    month = "11",
    day = "30",
    language = "Undefined",
    isbn = "90-9005613-0",
    publisher = "Universiteit Twente",
    school = "University of Twente",

    }

    Langerak, R 1992, 'Transformations and semantics for LOTOS', University of Twente, Enschede.

    Transformations and semantics for LOTOS. / Langerak, Romanus.

    Enschede : Universiteit Twente, 1992. 170 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    TY - THES

    T1 - Transformations and semantics for LOTOS

    AU - Langerak, Romanus

    PY - 1992/11/30

    Y1 - 1992/11/30

    KW - METIS-118406

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-9005613-0

    PB - Universiteit Twente

    CY - Enschede

    ER -

    Langerak R. Transformations and semantics for LOTOS. Enschede: Universiteit Twente, 1992. 170 p.