| |
| 2000 | ||
|---|---|---|
| 3 | Wen Chien Liu, Chyan-Goei Chung: Path-based Model Checking. ICDCS Workshop on Distributed System Validation and Verification 2000: E91-E94 | |
| 2 | Wen Chien Liu, Chyan-Goei Chung: Path-based protocol verification approach. Information & Software Technology 42(4): 229-244 (2000) | |
| 1 | Wen Chien Liu, Chyan-Goei Chung: Symbolic path-based protocol verification. Information & Software Technology 42(4): 245-255 (2000) | |
| 1 | Chyan-Goei Chung | [1] [2] [3] |