Timm Spork

Timm Spork

DoktorandTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Algebraische und logische Grundlagen der Informatik

• DBLP

•   timm.spork@tu-dresden.de
•   APB 3007

• Publikationen

Neueste Publikationen

Komplette Publikationsliste anzeigen

Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, Tim Quatmann
A Spectrum of Approximate Probabilistic Bisimulations
In Rupak Majumdar and Alexandra Silva, eds., 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, volume 311 of LIPIcs, 37:1--37:19, August 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Komplette Publikationsliste anzeigen