Title of article :
Formal verification of dependable distributed protocols
Author/Authors :
Purnendu Sinha، نويسنده , , Da Qi Ren، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2002
Pages :
16
From page :
873
To page :
888
Keywords :
Formal specification and verification , Dependable distributed protocols , Checkpointing
Journal title :
Information and Software Technology
Serial Year :
2002
Journal title :
Information and Software Technology
Record number :
134989
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134989
بازگشت