h1

000980854 001__ 980854
000980854 005__ 20240309050352.0
000980854 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-02598
000980854 037__ $$aRWTH-2024-02598
000980854 041__ $$aEnglish
000980854 082__ $$a004
000980854 1001_ $$0P:(DE-82)IDM05193$$aGehnen, Christina$$b0$$urwth
000980854 245__ $$aAutomata-based model checking of recursive systems$$cChristina Gehnen$$honline
000980854 260__ $$aAachen$$bRWTH Aachen University$$c2021
000980854 260__ $$c2024
000980854 300__ $$a1 Online-Ressource: Illustrationen
000980854 3367_ $$02$$2EndNote$$aThesis
000980854 3367_ $$0PUB:(DE-HGF)2$$2PUB:(DE-HGF)$$aBachelor Thesis$$bbachelor$$mbachelor
000980854 3367_ $$2BibTeX$$aMASTERSTHESIS
000980854 3367_ $$2DRIVER$$abachelorThesis
000980854 3367_ $$2DataCite$$aOutput Types/Supervised Student Publication
000980854 3367_ $$2ORCID$$aSUPERVISED_STUDENT_PUBLICATION
000980854 500__ $$aVeröffentlicht auf dem Publikationsserver der RWTH Aachen University 2024
000980854 502__ $$aBachelorarbeit, RWTH Aachen University, 2021$$bBachelorarbeit$$cRWTH Aachen University$$d2021$$gFak01$$o2021-02-10
000980854 5203_ $$lger
000980854 520__ $$leng
000980854 591__ $$aGermany
000980854 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b1$$eThesis advisor$$urwth
000980854 7001_ $$0P:(DE-82)IDM01580$$aNoll, Thomas$$b2$$eThesis advisor$$urwth
000980854 7001_ $$0P:(DE-82)IDM03625$$aWinkler, Tobias$$b3$$eConsultant$$urwth
000980854 8564_ $$uhttps://publications.rwth-aachen.de/record/980854/files/980854.pdf$$yOpenAccess
000980854 909CO $$ooai:publications.rwth-aachen.de:980854$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery
000980854 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05193$$aRWTH Aachen$$b0$$kRWTH
000980854 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b1$$kRWTH
000980854 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01580$$aRWTH Aachen$$b2$$kRWTH
000980854 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03625$$aRWTH Aachen$$b3$$kRWTH
000980854 9141_ $$y2021
000980854 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000980854 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000980854 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000980854 961__ $$c2024-03-08T09:30:32.609014$$x2024-03-04T15:42:54.188901$$z2024-03-08T09:30:32.609014
000980854 9801_ $$aFullTexts
000980854 980__ $$aI:(DE-82)120000_20140620
000980854 980__ $$aI:(DE-82)121310_20140620
000980854 980__ $$aUNRESTRICTED
000980854 980__ $$aVDB
000980854 980__ $$abachelor