Gast ::
| 001 | 989358 | ||
| 005 | 20240720051127.0 | ||
| 037 | _ | _ | |a RWTH-2024-06748 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)756690 |a Blumenthal, Christian |b 0 |u rwth |
| 245 | _ | _ | |a Inference in discrete probabilistic programs using probability generating functions |c Christian Blumenthal |h print |
| 260 | _ | _ | |a Aachen |c 2022 |
| 336 | 7 | _ | |0 2 |2 EndNote |a Thesis |
| 336 | 7 | _ | |0 PUB:(DE-HGF)19 |2 PUB:(DE-HGF) |a Master Thesis |b master |m master |
| 336 | 7 | _ | |2 BibTeX |a MASTERSTHESIS |
| 336 | 7 | _ | |2 DRIVER |a masterThesis |
| 336 | 7 | _ | |2 DataCite |a Output Types/Supervised Student Publication |
| 336 | 7 | _ | |2 ORCID |a SUPERVISED_STUDENT_PUBLICATION |
| 502 | _ | _ | |a Masterarbeit, RWTH Aachen University, 2022 |b Masterarbeit |c RWTH Aachen University |d 2022 |g Fak01 |o 2022-08-17 |
| 520 | 3 | _ | |l ger |
| 520 | _ | _ | |l eng |
| 591 | _ | _ | |a Germany |
| 700 | 1 | _ | |0 P:(DE-82)IDM00048 |a Katoen, Joost-Pieter |b 1 |e Thesis advisor |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM01580 |a Noll, Thomas |b 2 |e Thesis advisor |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM03695 |a Klinkenberg, Lutz |b 3 |e Consultant |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM03625 |a Winkler, Tobias |b 4 |e Consultant |u rwth |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/989358/files/989358.pdf |y Restricted |
| 909 | C | O | |o oai:publications.rwth-aachen.de:989358 |p VDB |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)756690 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00048 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01580 |a RWTH Aachen |b 2 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03695 |a RWTH Aachen |b 3 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03625 |a RWTH Aachen |b 4 |k RWTH |
| 914 | 1 | _ | |y 2024 |
| 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 master |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|