Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Personen und Einrichtungen

7 Dez. 2021

Titel	QuantLA Research Seminar Winter Term 2021/22
Veranstaltungsnummer
Dauer	3 November 2021 - 25 Januar 2022
Webseite	https://lat.inf.tu-dresden.de/quantla/index.php/study-programme/research-seminar/ws-2021-22
Bekanntheitsgrad	Internationale Veranstaltung
Ort	online
Stadt