Carl A. Sunshine. Experience with automated Protocol Verification. In IFIP Congress. pages 229-236, 1983.
@inproceedings{Sunshine83,
title = {Experience with automated Protocol Verification},
author = {Carl A. Sunshine},
year = {1983},
tags = {protocol},
researchr = {https://researchr.org/publication/Sunshine83},
cites = {0},
citedby = {0},
pages = {229-236},
booktitle = {IFIP Congress},
}