h1

000998367 001__ 998367
000998367 005__ 20250905143821.0
000998367 0247_ $$2ISBN$$a978-3-031-75782-2
000998367 0247_ $$2ISBN$$a978-3-031-75783-9
000998367 0247_ $$2ISBN$$a978-3-031-75784-6
000998367 0247_ $$2ISSN$$a0302-9743
000998367 0247_ $$2ISSN$$a1611-3349
000998367 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85212081414
000998367 0247_ $$2doi$$a10.1007/978-3-031-75783-9_6
000998367 037__ $$aRWTH-2024-11339
000998367 041__ $$aEnglish
000998367 1001_ $$0P:(DE-82)IDM05116$$aSchroer, Philipp$$b0$$urwth
000998367 245__ $$aSymbolic Quantitative Information Flow for Probabilistic Programs$$honline, print
000998367 260__ $$aCham$$bSpringer$$c2025
000998367 260__ $$c2024
000998367 29510 $$aPrinciples 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
000998367 300__ $$a128-154
000998367 3367_ $$07$$2EndNote$$aBook Section
000998367 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb
000998367 3367_ $$2BibTeX$$aINBOOK
000998367 3367_ $$2DRIVER$$abookPart
000998367 3367_ $$2DataCite$$aOutput Types/Book chapter
000998367 3367_ $$2ORCID$$aBOOK_CHAPTER
000998367 4900_ $$aLecture notes in computer science$$v15260
000998367 500__ $$aFirst Online: 13 November 2024
000998367 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000998367 536__ $$0G:(EU-Grant)101008233$$aMISSION - Models in Space Systems: Integration, Operation, and Networking (101008233)$$c101008233$$fH2020-MSCA-RISE-2020$$x1
000998367 588__ $$aDataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de
000998367 591__ $$aDenmark
000998367 591__ $$aGermany
000998367 591__ $$aItaly
000998367 7001_ $$aRandone, Francesca$$b1
000998367 7001_ $$aPardo, Raúl$$b2$$eCorresponding author
000998367 7001_ $$aWa̧sowski, Andrzej$$b3
000998367 7870_ $$0RWTH-2024-10968$$iHasPart
000998367 8564_ $$uhttps://publications.rwth-aachen.de/record/998367/files/998367.pdf$$yRestricted
000998367 909CO $$ooai:publications.rwth-aachen.de:998367$$popenaire$$pVDB$$pec_fundedresources
000998367 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05116$$aRWTH Aachen$$b0$$kRWTH
000998367 9141_ $$y2024
000998367 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-09-03
000998367 915__ $$0StatID:(DE-HGF)0420$$2StatID$$aNationallizenz$$d2023-09-03$$wger
000998367 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000998367 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000998367 961__ $$c2024-12-03T09:00:33.197235$$x2024-12-03T08:57:56.023621$$z2024-12-03
000998367 980__ $$aI:(DE-82)120000_20140620
000998367 980__ $$aI:(DE-82)121310_20140620
000998367 980__ $$aUNRESTRICTED
000998367 980__ $$aVDB
000998367 980__ $$acontb