guest ::
000980852 001__ 980852 000980852 005__ 20251009161631.0 000980852 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-02596 000980852 037__ $$aRWTH-2024-02596 000980852 041__ $$aEnglish 000980852 082__ $$a004 000980852 1001_ $$0P:(DE-82)983713$$aBarth, Naomi$$b0$$urwth 000980852 245__ $$aCompositional control-flow reduction for probabilistic model checking$$cby Naomi Barth$$honline 000980852 260__ $$aAachen$$bRWTH Aachen University$$c2024 000980852 300__ $$a1 Online-Ressource: Illustrationen 000980852 3367_ $$02$$2EndNote$$aThesis 000980852 3367_ $$0PUB:(DE-HGF)2$$2PUB:(DE-HGF)$$aBachelor Thesis$$bbachelor$$mbachelor 000980852 3367_ $$2BibTeX$$aMASTERSTHESIS 000980852 3367_ $$2DRIVER$$abachelorThesis 000980852 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication 000980852 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION 000980852 500__ $$aVeröffentlicht auf dem Publikationsserver der RWTH Aachen University 000980852 502__ $$aBachelorarbeit, RWTH Aachen University, 2021$$bBachelorarbeit$$cRWTH Aachen University$$d2021$$gFak01$$o2021-08-23 000980852 5203_ $$lger 000980852 520__ $$leng 000980852 591__ $$aGermany 000980852 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth 000980852 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth 000980852 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b3$$eConsultant$$urwth 000980852 8564_ $$uhttps://publications.rwth-aachen.de/record/980852/files/980852.pdf$$yOpenAccess 000980852 909CO $$ooai:publications.rwth-aachen.de:980852$$pdnbdelivery$$pdriver$$pVDB$$popen_access$$popenaire 000980852 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)983713$$aRWTH Aachen$$b0$$kRWTH 000980852 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH 000980852 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH 000980852 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b3$$kRWTH 000980852 9141_ $$y2024 000980852 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 000980852 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0 000980852 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000980852 961__ $$c2024-03-26T12:35:45.367287$$x2024-03-04T15:39:58.731666$$z2024-03-26T12:35:45.367287 000980852 9801_ $$aFullTexts 000980852 980__ $$aI:(DE-82)120000_20140620 000980852 980__ $$aI:(DE-82)121310_20140620 000980852 980__ $$aUNRESTRICTED 000980852 980__ $$aVDB 000980852 980__ $$abachelor