András Vörös - public defense


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

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


András Vörös

"Symbolic Verification of Petri Net Based Models" (2018)
in research field computer sciences

Date of the public discussion of the thesis: 2018-XI-30 10:15
place: BME I. ép. B. szárny 023.

Doi/handle link (thesis, statements)
publication list of the doctoral candidate in MTMT


János Levendovszky head of the school	Tamás Bartha Thesis supervisor

Date of diploma: 2018. XII. 13.