From concurrent state machines to reliable multi-threaded Java code

D. Zhang

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

2119 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	van den Brand, Mark G.J., Promotor Kuiper, Ruurd, Co-Promotor Bosnacki, Dragan, Co-Promotor
Datum van toekenning	12 apr. 2018
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-90-386-4475-2
Status	Gepubliceerd - 12 apr. 2018

Proefschrift

Toegang tot document

@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",

}