engGehnen, ChristinaKatoen, Joost-PieterNoll, ThomasWinkler, TobiasAutomata-based model checking of recursive systemsinfo:eu-repo/classification/ddc/004Aachen : RWTH Aachen University 1 Online-Ressource: Illustrationen (2021). doi:10.18154/RWTH-2024-02598 = Bachelorarbeit, RWTH Aachen University, 2021info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionRWTH Aachen University2021info:eu-repo/semantics/openAccessDEhttps://publications.rwth-aachen.de/record/980854https://publications.rwth-aachen.de/search?p=id:%22RWTH-2024-02598%22StudentsStudent Financial Aid ProvidersTeachersResearchersinfo:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2024-02598