Jump to : Keyword | Contact | BibTex reference | EndNote reference |

tCJ-CI36

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.

Keyword

[ Monitoring ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)