Improved verification methods for concurrent systems

S.C.W. Ploeger

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

204 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Groote, Jan Friso, Promotor van Wijk, Jack J., Promotor Willemse, Tim A.C., Co-Promotor
Datum van toekenning	27 aug. 2009
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-90-386-1926-2
DOI's	https://doi.org/10.6100/IR643995
Status	Gepubliceerd - 2009

Toegang tot document

@phdthesis{b8855f6c00bc4e3197ac812eff176460,

title = "Improved verification methods for concurrent systems",

author = "S.C.W. Ploeger",

year = "2009",

doi = "10.6100/IR643995",

language = "English",

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

publisher = "Technische Universiteit Eindhoven",

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

school = "Mathematics and Computer Science",

}