Transformations and semantics for LOTOS

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageEnglish
    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

    Cite this