Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

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

Personen und Einrichtungen

21 Aug. 2021

Titel	32nd International Conference on Concurrency Theory
Kurztitel	CONCUR 2021
Dauer	23 - 27 August 2021
Webseite	https://qonfest2021.lacl.fr/index.php
Bekanntheitsgrad	Internationale Veranstaltung
Ort	online
Stadt	Paris
Land	Frankreich