Modal Action Logics for Reasoning about Reactive Systems

J.M. Broersen

    Research output: PhD ThesisPhD Thesis - Research VU Amsterdam, graduation VU Amsterdam

    9 Downloads (Pure)
    Original languageEnglish
    QualificationPhD
    Awarding Institution
    • Vrije Universiteit Amsterdam
    Supervisors/Advisors
    • Meyer, J-.J.Ch., Supervisor, External person
    • van de Riet, R.P., Supervisor
    • Wieringa, R., Supervisor, External person
    Award date25 Feb 2003
    Print ISBNs9090166114
    Publication statusPublished - 2003

    Keywords

    • Systeemtheorie
    • wiskundige logica

    Cite this