第 1 到 2 筆結果，共 2 筆。
| 公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
|---|---|---|---|---|---|---|---|
| 1 | 1999 | Knowledge Verification | E. Juan ; J. Tsai; D. Zhang; A. Sahay | Wiley Encyclopedia of Electrical and Electronics Engineering | |||
| 2 | 2002 | Compositional Verification of Concurrent and Real-Time Systems | J. Tsai; E. Juan | Kluwer Academic Publishers |
