From concurrent state machines to reliable multi-threaded Java code

D. Zhang

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

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

Bibliographical note

Proefschrift

Promotion : time and place

  • 16:00h, Auditorium, Collegezaal 4

Cite this