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)

114 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Department of 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

de Putter, S. M. J. (2019). Verification of concurrent systems in a model-driven engineering workflow. Eindhoven: Technische Universiteit Eindhoven.

de Putter, S.M.J.. / Verification of concurrent systems in a model-driven engineering workflow. Eindhoven : Technische Universiteit Eindhoven, 2019. 200 p.

@phdthesis{86505e194dba4aebb4053d88efd3a854,

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

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

note = "Proefschrift",

year = "2019",

month = "1",

day = "28",

language = "English",

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

series = "IPA Dissertation Series",

publisher = "Technische Universiteit Eindhoven",

school = "Department of Mathematics and Computer Science",

}

de Putter, SMJ 2019, 'Verification of concurrent systems in a model-driven engineering workflow', Doctor of Philosophy, Department of Mathematics and Computer Science, Eindhoven.

Eindhoven : Technische Universiteit Eindhoven, 2019. 200 p.

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

TY - THES

T1 - Verification of concurrent systems in a model-driven engineering workflow

AU - de Putter, S.M.J.

N1 - Proefschrift

PY - 2019/1/28

Y1 - 2019/1/28

M3 - Phd Thesis 1 (Research TU/e / Graduation TU/e)

SN - 978-90-386-4678-7

T3 - IPA Dissertation Series

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

de Putter SMJ. Verification of concurrent systems in a model-driven engineering workflow. Eindhoven: Technische Universiteit Eindhoven, 2019. 200 p. (IPA Dissertation Series).