Translation of Formal Protocol Specifications to VLSI Designs

• Authors:

• A. S. Krishnakumar;B. Krishnamurthy;Krishan K. Sabnani

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
• Year:
• 1987