Getting the point : obtaining and understanding fixpoints in model checking

S. Cranen

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

541 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Groote, Jan Friso, Promotor Lukkien, Johan J., Promotor Luttik, S.P. (Bas), Copromotor
Award date	17 Jun 2015
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-3820-1
Publication status	Published - 2015

Access to Document

@phdthesis{180a143762c54a839a566bc1e0cd14ab,

title = "Getting the point : obtaining and understanding fixpoints in model checking",

author = "S. Cranen",

year = "2015",

language = "English",

isbn = "978-90-386-3820-1",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}