TY -
BOOK
AU - Kinder, Sebastian
TI -
Automated validation and verification of railway specific components and systems
PB - Shaker
SN - 9783832270438
KW - Hochschulschrift
KW - Schienenverkehr
KW - Automation
KW - Bounded Model Checking
KW - Binäres Entscheidungsdiagramm
KW - Erfüllbarkeitsproblem
PY - 2008
BT - Berichte aus der Informatik
CY - Aachen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -