Leo Cacciari;Omar Rafiq
-;-
Validation of protocols with temporal constraints
Computer Communications
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique