Skip to content Skip to footer

Research Portal of the TU Dresden

Timm Spork Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- timm.spork@tu-dresden.de

Identification Numbers

ORCID	0009-0008-4461-0667
Scopus author ID	59236542100

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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 311).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Relating Approximate Probabilistic Bisimulations

Spork, T. (Speaker)

29 Sept 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (1)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content