%0 Conference Proceedings
%F tCJ-CI36
%A Jard, C.
%A Jéron, T.
%T Verification and Distributed Observation of the Alternating Bit Protocol
%B 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
%C Paris
%D 1998
%K Monitoring