Models and Methods for Action Refinement

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageEnglish
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Brinksma, Hendrik, Supervisor
    Award date1 Aug 1993
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9006336-6
    Publication statusPublished - 1993

    Cite this