Original language | English |
---|---|
Qualification | Doctor of Philosophy |
Awarding Institution |
|
Supervisors/Advisors |
|
Award date | 28 Jan 2019 |
Place of Publication | Eindhoven |
Publisher | |
Print ISBNs | 978-90-386-4678-7 |
Publication status | Published - 28 Jan 2019 |
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)