Timm Spork

Timm Spork

PhD ResearcherTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Algebraic and Logical Foundations of Computer Science

• DBLP

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

• Publications

Newest Publications

View full publication list

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

View full publication list