TY  - RPRT
TI  - Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
AU  - Farn Wang
AU  - Geng-Dian Hwang
AU  - Fang Yu
PY  - 2003
UR  - https://arxiv.org/abs/cs/0303027
ID  - cs/0303027
ER  -