TY  - RPRT
TI  - Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
AU  - Farn Wang
PY  - 2003
UR  - https://arxiv.org/abs/cs/0306113
ID  - cs/0306113
ER  -