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