Verification Techniques for xMAS

Alexander Fedotov

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

72 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Groote, Jan Friso, Promotor Keiren, Jeroen J.A., Co-Promotor
Datum van toekenning	11 jan. 2022
Plaats van publicatie	Eindhoven
Uitgever	Eindhoven University of Technology
Gedrukte ISBN's	978-90-386-5432-4
Status	Gepubliceerd - 11 jan. 2022

Proefschrift.

Toegang tot document

@phdthesis{c659a21da17f463ab90e96fd3a8591e8,

title = "Verification Techniques for xMAS",

author = "Alexander Fedotov",

note = "Proefschrift.",

year = "2022",

month = jan,

day = "11",

language = "English",

isbn = "978-90-386-5432-4",

series = "IPA Dissertation Series",

publisher = "Eindhoven University of Technology",

school = "Mathematics and Computer Science",

}