TY -
BOOK
AU - Mikk, Erich
TI -
Semantics and verification of statecharts
PB - Inst. für Informatik und Praktische Mathematik
KW - Hochschulschrift
PY - 2000
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 2011
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -