Path-based Model Checking. - Wen Chien Liu; Chyan-Goei Chung (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Path-based protocol verification approach. - Wen Chien Liu; Chyan-Goei Chung (Inf. Softw. Technol., 2000)

Symbolic path-based protocol verification. - Wen Chien Liu; Chyan-Goei Chung (Inf. Softw. Technol., 2000)