Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman. A methodology for verifying request processing protocols. In David C. Wood, Simon S. Lam, editors, Proceedings of the symposium on Communications Architectures & Protocols, SIGCOMM 1983, Austin, Texas, USA, March 8-9, 1983. pages 76-83, ACM, 1983. [doi]
@inproceedings{NikolaouCFS83,
title = {A methodology for verifying request processing protocols},
author = {Christos Nikolaou and Edmund M. Clarke and Nissim Francez and Stephen A. Schuman},
year = {1983},
doi = {10.1145/1024840.1035256},
url = {https://doi.org/10.1145/1024840.1035256},
researchr = {https://researchr.org/publication/NikolaouCFS83},
cites = {0},
citedby = {0},
pages = {76-83},
booktitle = {Proceedings of the symposium on Communications Architectures & Protocols, SIGCOMM 1983, Austin, Texas, USA, March 8-9, 1983},
editor = {David C. Wood and Simon S. Lam},
publisher = {ACM},
isbn = {978-0-89791-089-7},
}