guest ::
| 001 | 973371 | ||
| 005 | 20240705095519.0 | ||
| 024 | 7 | _ | |2 arXiv |a arXiv:2309.07781 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2023-10748 |
| 024 | 7 | _ | |2 doi |a 10.48550/arXiv.2309.07781 |
| 037 | _ | _ | |a RWTH-2023-10748 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM05116 |a Schroer, Philipp |b 0 |e Corresponding author |u rwth |
| 245 | _ | _ | |a A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version) |h online |
| 260 | _ | _ | |c 2023 |
| 300 | _ | _ | |a [1]-48 |
| 336 | 7 | _ | |0 28 |2 EndNote |a Electronic Article |
| 336 | 7 | _ | |0 PUB:(DE-HGF)25 |2 PUB:(DE-HGF) |a Preprint |b preprint |m preprint |
| 336 | 7 | _ | |2 BibTeX |a ARTICLE |
| 336 | 7 | _ | |2 DRIVER |a preprint |
| 336 | 7 | _ | |2 DataCite |a Output Types/Working Paper |
| 336 | 7 | _ | |2 ORCID |a WORKING_PAPER |
| 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 |
| 588 | _ | _ | |a Dataset connected to DataCite |
| 591 | _ | _ | |a Denmark |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a UK |
| 650 | _ | 7 | |2 Other |a FOS: Computer and information sciences |
| 650 | _ | 7 | |2 Other |a Programming Languages (cs.PL) |
| 700 | 1 | _ | |0 P:(DE-82)IDM04047 |a Batz, Kevin |b 1 |e Corresponding author |u rwth |
| 700 | 1 | _ | |a Kaminski, Benjamin Lucien |b 2 |e Corresponding author |
| 700 | 1 | _ | |0 P:(DE-82)IDM00048 |a Katoen, Joost-Pieter |b 3 |e Corresponding author |u rwth |
| 700 | 1 | _ | |a Matheja, Christoph |b 4 |e Corresponding author |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/973371/files/973371.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:973371 |p VDB |p dnbdelivery |p driver |p ec_fundedresources |p open_access |p openaire |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM05116 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM04047 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00048 |a RWTH Aachen |b 3 |k RWTH |
| 914 | 1 | _ | |y 2023 |
| 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 Informatik 2 (Softwaremodellierung und Verifikation) |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 preprint |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|