Advanced reduction techniques for model checking

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

506 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Groote, Jan Friso, Promotor Willemse, Tim A.C., Copromotor
Award date	17 Sept 2013
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-3427-2
DOIs	https://doi.org/10.6100/IR757862
Publication status	Published - 2013

Access to Document

@phdthesis{652ce26882fa4fca80b8dd6f48616693,

title = "Advanced reduction techniques for model checking",

author = "J.J.A. Keiren",

year = "2013",

doi = "10.6100/IR757862",

language = "English",

isbn = "978-90-386-3427-2",

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}