From concurrent state machines to reliable multi-threaded Java code

D. Zhang

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

    2334 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    • van den Brand, Mark G.J., Promotor
    • Kuiper, Ruurd, Copromotor
    • Bosnacki, Dragan, Copromotor
    Award date12 Apr 2018
    Place of PublicationEindhoven
    Print ISBNs978-90-386-4475-2
    Publication statusPublished - 12 Apr 2018

    Bibliographical note


    Promotion : time and place

    • 16:00h, Auditorium, Collegezaal 4

    Cite this