Title of article
Symbolic path-based protocol verification
Author/Authors
Wen-Chien Liu، نويسنده , , Chyan-Goei Chung، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2000
Pages
11
From page
245
To page
255
Keywords
Path-based approach , Protocol verification , Reachability analysis
Journal title
Information and Software Technology
Serial Year
2000
Journal title
Information and Software Technology
Record number
134696
Link To Document