From concurrent state machines to reliable multi-threaded Java code

D. Zhang

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

2040 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	van den Brand, Mark G.J., Promotor Kuiper, Ruurd, Copromotor Bosnacki, Dragan, Copromotor
Award date	12 Apr 2018
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-4475-2
Publication status	Published - 12 Apr 2018

Proefschrift

Promotion : time and place

@phdthesis{5b113a47ce724a70965f6930b8345f80,

title = "From concurrent state machines to reliable multi-threaded Java code",

author = "D. Zhang",

note = "Proefschrift",

year = "2018",

month = apr,

day = "12",

language = "English",

isbn = "978-90-386-4475-2",

series = "IPA Dissertation Series",

publisher = "Technische Universiteit Eindhoven",

school = "Mathematics and Computer Science",

}