Getting the point : obtaining and understanding fixpoints in model checking

S. Cranen

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

    259 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    Supervisors/Advisors
    • Groote, Jan Friso, Promotor
    • Lukkien, Johan J., Promotor
    • Luttik, S.P. (Bas), Copromotor
    Award date17 Jun 2015
    Place of PublicationEindhoven
    Publisher
    Print ISBNs978-90-386-3820-1
    Publication statusPublished - 2015

    Cite this