Albert Fleischmann. PASS - A Technique for Specifying Communication Protocols. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 61-76, North-Holland, 1987.
@inproceedings{Fleischmann87,
title = {PASS - A Technique for Specifying Communication Protocols},
author = {Albert Fleischmann},
year = {1987},
tags = {protocol},
researchr = {https://researchr.org/publication/Fleischmann87},
cites = {0},
citedby = {0},
pages = {61-76},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987},
editor = {Harry Rudin and Colin H. West},
publisher = {North-Holland},
isbn = {0-444-70293-8},
}