M. H. Sherif, V. Miller, E. Woo. X.25 Protocol Verification Facility for AT&T No. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 1, North-Holland, 1984.
@inproceedings{SherifMW84,
title = {X.25 Protocol Verification Facility for AT&T No},
author = {M. H. Sherif and V. Miller and E. Woo},
year = {1984},
tags = {protocol, e-science},
researchr = {https://researchr.org/publication/SherifMW84},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
editor = {Yechiam Yemini and Robert E. Strom and Shaula Yemini},
publisher = {North-Holland},
isbn = {0-444-87676-6},
}