guest ::
| 001 | 998367 | ||
| 005 | 20250905143821.0 | ||
| 024 | 7 | _ | |2 ISBN |a 978-3-031-75782-2 |
| 024 | 7 | _ | |2 ISBN |a 978-3-031-75783-9 |
| 024 | 7 | _ | |2 ISBN |a 978-3-031-75784-6 |
| 024 | 7 | _ | |2 ISSN |a 0302-9743 |
| 024 | 7 | _ | |2 ISSN |a 1611-3349 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85212081414 |
| 024 | 7 | _ | |2 doi |a 10.1007/978-3-031-75783-9_6 |
| 037 | _ | _ | |a RWTH-2024-11339 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM05116 |a Schroer, Philipp |b 0 |u rwth |
| 245 | _ | _ | |a Symbolic Quantitative Information Flow for Probabilistic Programs |h online, print |
| 260 | _ | _ | |a Cham |b Springer |c 2025 |
| 260 | _ | _ | |c 2024 |
| 295 | 1 | 0 | |a Principles of verification: cycling the probabilistic landscape, [Bd.] Part 1 / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors |
| 300 | _ | _ | |a 128-154 |
| 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 | _ | |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 Lecture notes in computer science |v 15260 |
| 500 | _ | _ | |a First Online: 13 November 2024 |
| 536 | _ | _ | |0 G:(EU-Grant)787914 |a FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) |c 787914 |f ERC-2017-ADG |x 0 |
| 536 | _ | _ | |0 G:(EU-Grant)101008233 |a MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233) |c 101008233 |f H2020-MSCA-RISE-2020 |x 1 |
| 588 | _ | _ | |a Dataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de |
| 591 | _ | _ | |a Denmark |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Italy |
| 700 | 1 | _ | |a Randone, Francesca |b 1 |
| 700 | 1 | _ | |a Pardo, Raúl |b 2 |e Corresponding author |
| 700 | 1 | _ | |a Wa̧sowski, Andrzej |b 3 |
| 787 | 0 | _ | |0 RWTH-2024-10968 |i HasPart |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/998367/files/998367.pdf |y Restricted |
| 909 | C | O | |o oai:publications.rwth-aachen.de:998367 |p ec_fundedresources |p VDB |p openaire |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM05116 |a RWTH Aachen |b 0 |k RWTH |
| 914 | 1 | _ | |y 2024 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0200 |2 StatID |a DBCoverage |b SCOPUS |d 2023-09-03 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0420 |2 StatID |a Nationallizenz |d 2023-09-03 |w ger |
| 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 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|