R. Molva, Michel Diaz, Jean-Michel Ayache. Observer: a run-time checking tool for local area networks. In Michel Diaz, editor, Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. pages 495-506, North-Holland, 1985.
@inproceedings{MolvaDA85,
title = {Observer: a run-time checking tool for local area networks},
author = {R. Molva and Michel Diaz and Jean-Michel Ayache},
year = {1985},
researchr = {https://researchr.org/publication/MolvaDA85},
cites = {0},
citedby = {0},
pages = {495-506},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
editor = {Michel Diaz},
publisher = {North-Holland},
isbn = {0-444-87881-5},
}