Title of article :
Validation of protocols with temporal constraints
Author/Authors :
Leo Cacciari، نويسنده , , Omar Rafiq، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Pages :
12
From page :
1188
To page :
1199
Keywords :
Protocols , Transition models , Temporal constraints , Temporal communicating systems , Temporal reachability analysis , Communicationproperties , validation
Journal title :
Computer Communications
Serial Year :
1996
Journal title :
Computer Communications
Record number :
308646
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=308646
