Data of the public discussion
The
Budapest University of Technology and Economics Doctoral Committee
and the
Doctoral School of Informatics
doctoral school
has organized the public discussion of
Vince Molnár
"Extensions and Generalization of the Saturation Algorithm in Model Checking" (2019)
in research field computer sciences
Date of the public discussion of the thesis: 2020-II-18 12:45
place: BME I. ép. B. szárny 019.
Doi/handle link (thesis, statements)
publication list of the doctoral candidate in MTMT
János Levendovszky
head of the school
István Majzik
Thesis supervisor
Date of diploma: 2020. II. 27.