Wen Chien Liu

According to our database¹, Wen Chien Liu authored at least 3 papers in 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Symbolic path-based protocol verification.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2000

Path-based protocol verification approach.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2000

Path-based Model Checking.

[BibT_eX]

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000