Timm Spork
Aus International Center for Computational Logic
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Timm Spork
Doktorand Verifikation und formale quantitative Analyse
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
