Verification of concurrent systems in a model-driven engineering workflow

S.M.J. de Putter

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

101 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • van den Brand, Mark G.J., Promotor
  • Wijs, Anton J., Copromotor
Award date28 Jan 2019
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4678-7
Publication statusPublished - 28 Jan 2019

Bibliographical note

Proefschrift

Cite this

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.

Verification of concurrent systems in a model-driven engineering workflow. / de Putter, S.M.J.

Eindhoven : Technische Universiteit Eindhoven, 2019. 200 p.

Research output: ThesisPhd 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).