TY - GEN
AU - Köcher, Chris
AU - Technische Universität Ilmenau
AU - Universitätsverlag Ilmenau
AU - Kuske, Dietrich
AU - Muscholl, Anca
AU - Zetzsche, Georg
TI - Verification of automata with storage mechanisms
PB - Universitätsverlag Ilmenau
PB - : Universitätsbibliothek
KW - Hochschulschrift
KW - Automat Automatentheorie
KW - Monoid
KW - Erreichbarkeit
KW - Algorithmus
PY - 2023
PY - , 2023
CY - Ilmenau
CY - ; Ilmenau
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation