guest ::
| 001 | 1021924 | ||
| 005 | 20260302093737.0 | ||
| 024 | 7 | _ | |2 ISBN |a 978-3-95977-389-8 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-105013835665 |
| 024 | 7 | _ | |2 WOS |a WOS:001570540800031 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2025-09754 |
| 024 | 7 | _ | |2 doi |a 10.4230/LIPICS.CONCUR.2025.31 |
| 037 | _ | _ | |a RWTH-2025-09754 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM06570 |a Mertens, Hannah |b 0 |e Corresponding author |u rwth |
| 111 | 2 | _ | |a 36. International Conference on Concurrency Theory |c Aarhus |d 2025-08-25 - 2025-08-30 |g CONCUR 2025 |w Denmark |
| 245 | _ | _ | |a Compositional Reasoning for Parametric Probabilistic Automata |h online |
| 260 | _ | _ | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2025 |
| 295 | 1 | 0 | |a 36th International Conference on Concurrency Theory : CONCUR 2025, August 26-29, 2025, Aarhus, Denmark / edited by Patricia Bouyer, Jaco van de Pol |
| 300 | _ | _ | |a 31:1-31:20 |
| 336 | 7 | _ | |0 7 |2 EndNote |a Book Section |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |b contb |m contb |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |
| 336 | 7 | _ | |2 BibTeX |a INBOOK |
| 336 | 7 | _ | |2 DRIVER |a bookPart |
| 336 | 7 | _ | |2 DataCite |a Output Types/Book chapter |
| 336 | 7 | _ | |2 ORCID |a BOOK_CHAPTER |
| 490 | 0 | _ | |a Leibniz international proceedings in informatics |v 348 |
| 536 | _ | _ | |0 G:(MKW NRW)005-2401-0001 |a MKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001) |c 005-2401-0001 |x 0 |
| 588 | _ | _ | |a Dataset connected to , , , DataCite |
| 591 | _ | _ | |a Germany |
| 650 | _ | 7 | |2 Other |a Assume-guarantee reasoning |
| 650 | _ | 7 | |2 Other |a Parameter synthesis |
| 650 | _ | 7 | |2 Other |a Parametric Probabilistic Automata |
| 650 | _ | 7 | |2 Other |a Probabilistic systems |
| 650 | _ | 7 | |2 Other |a Theory of computation → Logic |
| 650 | _ | 7 | |2 Other |a Verification |
| 700 | 1 | _ | |0 P:(DE-82)IDM01389 |a Quatmann, Tim |b 1 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM00048 |a Katoen, Joost-Pieter |b 2 |u rwth |
| 787 | 0 | _ | |0 RWTH-2026-02226 |i IsParent |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/1021924/files/1021924.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:1021924 |p VDB |p dnbdelivery |p driver |p open_access |p openaire |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM06570 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01389 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00048 |a RWTH Aachen |b 2 |k RWTH |
| 914 | 1 | _ | |y 2025 |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |a Creative Commons Attribution CC BY 4.0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|