@INPROCEEDINGS{Jard98c,
  author = {Jard, Claude and J\'{e}ron, Thierry},
  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
	
	},
  year = {1998},
  address = {Paris, France},
  month = {nov}
}