Getting the point : obtaining and understanding fixpoints in model checking

S. Cranen

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

213 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of 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

Cranen, S. (2015). Getting the point : obtaining and understanding fixpoints in model checking. Technische Universiteit Eindhoven.