TY -
GEN
AU - Wang, Farn
TI -
Computer Aided Verification: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2004
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -