| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2002 | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-02-014 | |||
| 2002 | Symbolic Simulation of Real-Time Concurrent Systems | Farn Wang; Geng-Dian Hwang | TR-IIS-02-008 | |||
| 2003 | TCTL Inevitability Analysis of Dense-time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-03-006 |
