guest ::
| 001 | 1032441 | ||
| 005 | 20260326050040.0 | ||
| 024 | 7 | _ | |a 978-3-031-98667-3 |2 ISBN |
| 024 | 7 | _ | |a 978-3-031-98668-0 |2 ISBN |
| 024 | 7 | _ | |a 0302-9743 |2 ISSN |
| 024 | 7 | _ | |a 1611-3349 |2 ISSN |
| 024 | 7 | _ | |a 10.1007/978-3-031-98668-0_20 |2 doi |
| 024 | 7 | _ | |a openalex:W4415324726 |2 openalex |
| 024 | 7 | _ | |a 10.18154/RWTH-2026-03527 |2 datacite_doi |
| 037 | _ | _ | |a RWTH-2026-03527 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)971109 |a Gerlach, Lina |b 0 |u rwth |
| 111 | 2 | _ | |a 37. International Conference on Computer Aided Verification |c Zagreb |d 2025-07-23 - 2025-07-25 |g CAV 2025 |w Croatia |
| 245 | _ | _ | |a Correction to: Efficient Probabilistic Model Checking for Relational Reachability |h online, print |
| 260 | _ | _ | |a Cham |b Springer Nature Switzerland |c 2025 |
| 295 | 1 | 0 | |a Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I |
| 300 | _ | _ | |a C1-C2 |
| 336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |m contb |x Erratum/Correction |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |b contrib |m contrib |x Erratum/Correction |
| 336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
| 336 | 7 | _ | |2 DRIVER |a conferenceObject |
| 336 | 7 | _ | |2 DataCite |a Output Types/Conference Paper |
| 336 | 7 | _ | |2 ORCID |a CONFERENCE_PAPER |
| 490 | 0 | _ | |a Lecture Notes in Computer Science |v 15931 |
| 500 | _ | _ | |a Correction zu: Gerlach, Lina ... : Efficient Probabilistic Model Checking for Relational Reachability. - In: Computer Aided Verification. - 127-147. - DOI: 10.1007/978-3-031-98668-0_6 |
| 588 | _ | _ | |a Dataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Netherlands |
| 591 | _ | _ | |a USA |
| 700 | 1 | _ | |0 P:(DE-82)IDM03625 |a Winkler, Tobias |b 1 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM00047 |a Abraham, Erika |b 2 |u rwth |
| 700 | 1 | _ | |0 0000-0003-1800-5419 |a Bonakdarpour, Borzoo |b 3 |
| 700 | 1 | _ | |0 P:(DE-82)IDM01624 |a Junges, Sebastian |b 4 |e Corresponding author |u rwth |
| 787 | 0 | _ | |0 RWTH-2025-07494 |i RelatedTo |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/1032441/files/1032441.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:1032441 |p openaire |p open_access |p VDB |p driver |p dnbdelivery |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)971109 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03625 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00047 |a RWTH Aachen |b 2 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01624 |a RWTH Aachen |b 4 |k RWTH |
| 914 | 1 | _ | |y 2025 |
| 915 | _ | _ | |a DBCoverage |0 StatID:(DE-HGF)0200 |2 StatID |b SCOPUS |d 2025-11-06 |
| 915 | _ | _ | |a Creative Commons Attribution CC BY 4.0 |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |
| 915 | _ | _ | |a OpenAccess |0 StatID:(DE-HGF)0510 |2 StatID |
| 915 | _ | _ | |a Nationallizenz |0 StatID:(DE-HGF)0420 |2 StatID |d 2025-11-06 |w ger |
| 920 | 1 | _ | |0 I:(DE-82)123420_20140620 |k 123420 |l Lehr- und Forschungsgebiet Theorie Hybrider Systeme |x 0 |
| 980 | _ | _ | |a I:(DE-82)123420_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| 980 | 1 | _ | |a FullTexts |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|