Ana R. Cavalli, Luis Fariñas del Cerro. Specification and Verification of Networks Protocols Using. In Manfred Paul, Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Volume 167 of Lecture Notes in Computer Science, pages 59-73, Springer, 1984.
@inproceedings{CavalliC84:0,
title = {Specification and Verification of Networks Protocols Using},
author = {Ana R. Cavalli and Luis Fariñas del Cerro},
year = {1984},
tags = {protocol},
researchr = {https://researchr.org/publication/CavalliC84%3A0},
cites = {0},
citedby = {0},
pages = {59-73},
booktitle = {International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings},
editor = {Manfred Paul and Bernard Robinet},
volume = {167},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-12925-1},
}