A Spectrum of Approximate Probabilistic Bisimulations

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

Personen und Einrichtungen

Timm Spork - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

12 Sept. 2024

Konferenz

Titel	35th International Conference on Concurrency Theory
Kurztitel	CONCUR 2024
Veranstaltungsnummer	35
Beschreibung	part of the CONFEST 2024 conference
Dauer	9 - 13 September 2024
Webseite	https://confest2024.github.io/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Best Western Plus Village Park Inn
Stadt	Calgary
Land	Kanada

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

A Spectrum of Approximate Probabilistic Bisimulations

Spork, T., Baier, C., Katoen, J.-P., Piribauer, J. & Quatmann, T., 29 Aug. 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs, Band 311).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Konferenz

Schlagworte

Verknüpfte Inhalte