Getting the point : obtaining and understanding fixpoints in model checking

S. Cranen

    Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

    275 Downloads (Pure)
    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    • Mathematics and Computer Science
    Begeleider(s)/adviseur
    • Groote, Jan Friso, Promotor
    • Lukkien, Johan J., Promotor
    • Luttik, S.P. (Bas), Co-Promotor
    Datum van toekenning17 jun 2015
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's978-90-386-3820-1
    StatusGepubliceerd - 2015

    Citeer dit