| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 1998 | Iterative Refinement and Condensation for State-Graph Construction | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-98-009 | |||
| 1997 | Parametric Analysis of Computer Systems | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-97-010 | |||
| 1998 | Scheduling System Verification | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun | TR-IIS-98-014 |
