Results 1-2 of 2 (Search time: 0.001 seconds).
| Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link | |
|---|---|---|---|---|---|---|---|
| 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 |
