guest ::
Compositional Reasoning for Parametric Probabilistic Automata
; ;
2025
Online
DOI: 10.48550/arXiv.2506.08525
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Projekte
Inhaltliche Beschreibung (Schlagwörter)
FOS: Computer and information sciences (Genormte SW) ; FOS: Mathematics (Genormte SW) ; Logic in Computer Science (cs.LO) (Genormte SW) ; Probability (math.PR) (Genormte SW)
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2506.08525
Interne Identnummern
RWTH-2026-02226
Datensatz-ID: 1029324
Beteiligte Länder
Germany
Related:
Contribution to a book/Contribution to a conference proceedings
Compositional Reasoning for Parametric Probabilistic Automata
36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol
36. International Conference on Concurrency Theory, CONCUR 2025, AarhusAarhus, Denmark, 25 Aug 2025 - 30 Aug 2025
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 348, 31:1-31:20 (2025) [10.4230/LIPICS.CONCUR.2025.31]
Files
BibTeX |
EndNote:
XML,
Text |
RIS
|
The record appears in these collections: |
Fulltext by arXiv.org