TY -
GEN
AU - Farn Wang
TI -
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
PB - Institute of Electrical and Electronics Engineers (IEEE)
SN - 0098-5589
KW - Software
PY - 2005
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -