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)

    286 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • 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