Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
1998 | Scheduling System Verification | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun | TR-IIS-98-014 | |||
1998 | Verification of Dynamic Linear Lists for All Numbers of Processes | Wang, Farn | TR-IIS-98-019 |