Transformations and semantics for LOTOS

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    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.