C. Jard, T. Jéron. Verification and Distributed Observation of the Alternating Bit Protocol. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, 1998.
[ Monitoring ]
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{tCJ-CI36,
Author = {Jard, C. and Jéron, T.},
Title = {Verification and Distributed Observation of the Alternating Bit Protocol},
BookTitle = {IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols},
Address = {Paris},
Year = {1998}
}
Get EndNote Reference (.ref)