h1

000973371 001__ 973371
000973371 005__ 20240705095519.0
000973371 0247_ $$2arXiv$$aarXiv:2309.07781
000973371 0247_ $$2datacite_doi$$a10.18154/RWTH-2023-10748
000973371 0247_ $$2doi$$a10.48550/arXiv.2309.07781
000973371 037__ $$aRWTH-2023-10748
000973371 041__ $$aEnglish
000973371 1001_ $$0P:(DE-82)IDM05116$$aSchroer, Philipp$$b0$$eCorresponding author$$urwth
000973371 245__ $$aA Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)$$honline
000973371 260__ $$c2023
000973371 300__ $$a[1]-48
000973371 3367_ $$028$$2EndNote$$aElectronic Article
000973371 3367_ $$0PUB:(DE-HGF)25$$2PUB:(DE-HGF)$$aPreprint$$bpreprint$$mpreprint
000973371 3367_ $$2BibTeX$$aARTICLE
000973371 3367_ $$2DRIVER$$apreprint
000973371 3367_ $$2DataCite$$aOutput Types/Working Paper
000973371 3367_ $$2ORCID$$aWORKING_PAPER
000973371 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000973371 588__ $$aDataset connected to DataCite
000973371 591__ $$aDenmark
000973371 591__ $$aGermany
000973371 591__ $$aUK
000973371 650_7 $$2Other$$aFOS: Computer and information sciences
000973371 650_7 $$2Other$$aProgramming Languages (cs.PL)
000973371 7001_ $$0P:(DE-82)IDM04047$$aBatz, Kevin$$b1$$eCorresponding author$$urwth
000973371 7001_ $$aKaminski, Benjamin Lucien$$b2$$eCorresponding author
000973371 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b3$$eCorresponding author$$urwth
000973371 7001_ $$aMatheja, Christoph$$b4$$eCorresponding author
000973371 8564_ $$uhttps://publications.rwth-aachen.de/record/973371/files/973371.pdf$$yOpenAccess
000973371 909CO $$ooai:publications.rwth-aachen.de:973371$$popenaire$$popen_access$$pec_fundedresources$$pdriver$$pdnbdelivery$$pVDB
000973371 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05116$$aRWTH Aachen$$b0$$kRWTH
000973371 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04047$$aRWTH Aachen$$b1$$kRWTH
000973371 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b3$$kRWTH
000973371 9141_ $$y2023
000973371 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
000973371 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000973371 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$x0
000973371 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000973371 961__ $$c2023-11-20T16:46:59.643717$$x2023-11-15T12:33:36.243384$$z2023-11-20T16:46:59.643717
000973371 9801_ $$aFullTexts
000973371 980__ $$aI:(DE-82)120000_20140620
000973371 980__ $$aI:(DE-82)121310_20140620
000973371 980__ $$aUNRESTRICTED
000973371 980__ $$aVDB
000973371 980__ $$apreprint