Wen Chien Liu

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Wen Chien Liu, Chyan-Goei Chung
Path-based protocol verification approach. Inf. Softw. Technol. 42 (4) (2000)
Wen Chien Liu, Chyan-Goei Chung
Path-based Model Checking. ICDCS Workshop on Distributed System Validation and Verification (2000)
Wen Chien Liu, Chyan-Goei Chung
Symbolic path-based protocol verification. Inf. Softw. Technol. 42 (4) (2000)