Title of article :
Path-based protocol verification approach
Author/Authors :
W. -C. Liu، نويسنده , , C. -G. Chung، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2000
Pages :
16
From page :
229
To page :
244
Keywords :
Protocol verification , Concurrent path , Path-based verification
Journal title :
Information and Software Technology
Serial Year :
2000
Journal title :
Information and Software Technology
Record number :
134695
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134695
بازگشت