TY -
BOOK
AU - Alur, Rajeev
TI -
Hybrid systems
3 Verification and control / Rajeev Alur ... (eds.)
PB - Springer
SN - 354061155X
KW - Hybrid computers Congresses
KW - Konferenzschrift
PY - 1996
BT - Lecture notes in computer science ; 1066
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -