Relating Approximate Probabilistic Bisimulations

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

Personen und Einrichtungen

29 Sept. 2024

Titel	ROCKS Workshop 2023
Kurztitel	ROCKS 2023
Dauer	27 - 29 September 2023
Webseite	https://www.modestchecker.net/rocks2023/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Universität des Saarlandes
Stadt	Saarbrücken
Land	Deutschland