K. C. Huang, W. S. Hsieh, C.-S. Lu, M. S. Yang, T. S. Nain, Ihnen Lin. Implementation and design of PVD: An interactive protocol specification and validation environment. Journal of Systems Architecture, 32(1-5):281-288, 1991. [doi]
@article{HuangHLYNL91, title = {Implementation and design of PVD: An interactive protocol specification and validation environment}, author = {K. C. Huang and W. S. Hsieh and C.-S. Lu and M. S. Yang and T. S. Nain and Ihnen Lin}, year = {1991}, doi = {10.1016/0165-6074(91)90359-2}, url = {https://doi.org/10.1016/0165-6074(91)90359-2}, researchr = {https://researchr.org/publication/HuangHLYNL91}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {32}, number = {1-5}, pages = {281-288}, }