Advanced reduction techniques for model checking

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

202 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • Groote, Jan Friso, Promotor
  • Willemse, Tim A.C., Copromotor
Award date17 Sep 2013
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-3427-2
DOIs
Publication statusPublished - 2013

Cite this