h1

000989358 001__ 989358
000989358 005__ 20240720051127.0
000989358 037__ $$aRWTH-2024-06748
000989358 041__ $$aEnglish
000989358 082__ $$a004
000989358 1001_ $$0P:(DE-82)756690$$aBlumenthal, Christian$$b0$$urwth
000989358 245__ $$aInference in discrete probabilistic programs using probability generating functions$$cChristian Blumenthal$$hprint
000989358 260__ $$aAachen$$c2022
000989358 3367_ $$02$$2EndNote$$aThesis
000989358 3367_ $$0PUB:(DE-HGF)19$$2PUB:(DE-HGF)$$aMaster Thesis$$bmaster$$mmaster
000989358 3367_ $$2BibTeX$$aMASTERSTHESIS
000989358 3367_ $$2DRIVER$$amasterThesis
000989358 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication
000989358 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION
000989358 502__ $$aMasterarbeit, RWTH Aachen University, 2022$$bMasterarbeit$$cRWTH Aachen University$$d2022$$gFak01$$o2022-08-17
000989358 5203_ $$lger
000989358 520__ $$leng
000989358 591__ $$aGermany
000989358 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth
000989358 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth
000989358 7001_ $$0P:(DE-82)IDM03695$$aKlinkenberg, Lutz$$b3$$eConsultant$$urwth
000989358 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b4$$eConsultant$$urwth
000989358 8564_ $$uhttps://publications.rwth-aachen.de/record/989358/files/989358.pdf$$yRestricted
000989358 909CO $$ooai:publications.rwth-aachen.de:989358$$pVDB
000989358 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)756690$$aRWTH Aachen$$b0$$kRWTH
000989358 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000989358 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH
000989358 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03695$$aRWTH Aachen$$b3$$kRWTH
000989358 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b4$$kRWTH
000989358 9141_ $$y2024
000989358 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000989358 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000989358 961__ $$c2024-07-19T09:00:08.086257$$x2024-07-18T09:59:43.608230$$z2024-07-19T09:00:08.086257
000989358 980__ $$aI:(DE-82)120000_20140620
000989358 980__ $$aI:(DE-82)121310_20140620
000989358 980__ $$aUNRESTRICTED
000989358 980__ $$aVDB
000989358 980__ $$amaster