Models and axioms for a fragment of real time process algebra

A.S. Klusener

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    412 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    Supervisors/Advisors
    • Baeten, Jos, Promotor
    • Bergstra, Jan A., Promotor, External person
    Award date10 Dec 1993
    Place of PublicationEindhoven
    Publisher
    DOIs
    Publication statusPublished - 1993

    Cite this