Verification of concurrent systems in a model-driven engineering workflow

S.M.J. de Putter

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

286 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	van den Brand, Mark G.J., Promotor Wijs, Anton J., Copromotor
Award date	28 Jan 2019
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-4678-7
Publication status	Published - 28 Jan 2019

Proefschrift

Access to Document

@phdthesis{86505e194dba4aebb4053d88efd3a854,

title = "Verification of concurrent systems in a model-driven engineering workflow",

author = "{de Putter}, S.M.J.",

note = "Proefschrift",

year = "2019",

month = jan,

day = "28",

language = "English",

isbn = "978-90-386-4678-7",

series = "IPA Dissertation Series",

publisher = "Technische Universiteit Eindhoven",

school = "Mathematics and Computer Science",

}