TY  - RPRT
TI  - TCTL Inevitability Analysis of Dense-time Systems
AU  - Farn Wang
AU  - Geng-Dian Hwang
AU  - Fang Yu
PY  - 2003
UR  - https://arxiv.org/abs/cs/0304003
ID  - cs/0304003
ER  -