h1

h2

h3

h4

h5
h6
000980850 001__ 980850
000980850 005__ 20251106103246.0
000980850 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-02594
000980850 037__ $$aRWTH-2024-02594
000980850 041__ $$aEnglish
000980850 082__ $$a004
000980850 1001_ $$0P:(DE-82)979699$$aBiskup, Tom$$b0$$urwth
000980850 245__ $$aInvariant-based strategy synthesis for nondeterministic probabilistic programs$$cTom J. Biskup$$honline
000980850 260__ $$aAachen$$bRWTH Aachen University$$c2024
000980850 300__ $$a1 Online-Ressource : Illustrationen
000980850 3367_ $$02$$2EndNote$$aThesis
000980850 3367_ $$0PUB:(DE-HGF)19$$2PUB:(DE-HGF)$$aMaster Thesis$$bmaster$$mmaster
000980850 3367_ $$2BibTeX$$aMASTERSTHESIS
000980850 3367_ $$2DRIVER$$amasterThesis
000980850 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication
000980850 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION
000980850 500__ $$aVeröffentlicht auf dem Publikationsserver der RWTH Aachen University 2024
000980850 502__ $$aMasterarbeit, RWTH Aachen University, 2023$$bMasterarbeit$$cRWTH Aachen University$$d2023$$gFak01$$o2023-01-10
000980850 5203_ $$lger
000980850 520__ $$leng
000980850 591__ $$aGermany
000980850 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth
000980850 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth
000980850 8564_ $$uhttps://publications.rwth-aachen.de/record/980850/files/980850.pdf$$yOpenAccess
000980850 909CO $$ooai:publications.rwth-aachen.de:980850$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
000980850 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)979699$$aRWTH Aachen$$b0$$kRWTH
000980850 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000980850 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH
000980850 9141_ $$y2024
000980850 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000980850 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000980850 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000980850 961__ $$c2024-04-11T16:33:35.404032$$x2024-03-04T15:37:11.932960$$z2024-04-11T16:33:35.404032
000980850 9801_ $$aFullTexts
000980850 980__ $$aI:(DE-82)120000_20140620
000980850 980__ $$aI:(DE-82)121310_20140620
000980850 980__ $$aUNRESTRICTED
000980850 980__ $$aVDB
000980850 980__ $$amaster