Wen Chien Liu

	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)

Coauthor Index

1

Chyan-Goei Chung

[1] [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page