Modal Action Logics for Reasoning about Reactive Systems

J.M. Broersen

    Research output: PhD ThesisPhD-Thesis - Research and graduation internal

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

    Keywords

    • Systeemtheorie
    • wiskundige logica

    Cite this