Időpont:
2018. november 30. 10:15
Helyszín:
I épület, B szárny 023-as terem
Kategória:
PhD előadás
Szervezés:
BME-egyetem
Kapcsolattartó:
Informatikai Tudományok Doktori Iskola
Vörös András értekezésének címe: "Symbolic Verification of Petri Net Based Models" (2018)