A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani. Translation of Formal Protocol Specifications to VLSI Designs. 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 375-390, North-Holland, 1987.
@inproceedings{KrishnakumarKS87,
title = {Translation of Formal Protocol Specifications to VLSI Designs},
author = {A. S. Krishnakumar and B. Krishnamurthy and Krishan K. Sabnani},
year = {1987},
tags = {translation, protocol},
researchr = {https://researchr.org/publication/KrishnakumarKS87},
cites = {0},
citedby = {0},
pages = {375-390},
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},
}