Benutzerbeiträge von „Timm Spork“
Aus International Center for Computational Logic
Ergebnisse für Timm Spork Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 6 Bearbeitungen. Das Konto wurde am 5. März 2025 erstellt.
30. Oktober 2025
- 11:5911:59, 30. Okt. 2025 Unterschied Versionen +1.298 N Inproceedings3441 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Timm |ErsterAutorNachname=Spork |FurtherAuthors=Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains |To appear=0 |Year=2025 |Month=Juli |Booktitle=Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II |Pages=56-81 |Publisher=Springer…“ aktuell
- 11:5311:53, 30. Okt. 2025 Unterschied Versionen 0 N Datei:Approximate Probabilistic Bisimulation for CTMC.pdf Keine Bearbeitungszusammenfassung aktuell
5. März 2025
- 13:2213:22, 5. Mär. 2025 Unterschied Versionen −32 Inproceedings3621349134 Keine Bearbeitungszusammenfassung
- 13:2113:21, 5. Mär. 2025 Unterschied Versionen 0 N Datei:LIPIcs.CONCUR.2024.37.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:1913:19, 5. Mär. 2025 Unterschied Versionen +128 Inproceedings3621349134 Keine Bearbeitungszusammenfassung
- 13:1813:18, 5. Mär. 2025 Unterschied Versionen 0 N Datei:A spectrum of approximate probabilistic bisimulations.pdf Keine Bearbeitungszusammenfassung aktuell
