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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134696
بازگشت