h1

h2

h3

h4

h5
h6
TY  - THES
AU  - Gehnen, Christina
TI  - Automata-based model checking of recursive systems
PB  - RWTH Aachen University
VL  - Bachelorarbeit
CY  - Aachen
M1  - RWTH-2024-02598
SP  - 1 Online-Ressource: Illustrationen
PY  - 2021
N1  - Veröffentlicht auf dem Publikationsserver der RWTH Aachen University 2024
N1  - Bachelorarbeit, RWTH Aachen University, 2021
LB  - PUB:(DE-HGF)2
DO  - DOI:10.18154/RWTH-2024-02598
UR  - https://publications.rwth-aachen.de/record/980854
ER  -