This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Introduction
April 1991 (vol. 40 no. 4)
pp. 373-375

[1] G. J. Holzmann,Design and Validation of Computer Protocols. Englewood, Cliffs, NJ: Prentice-Hall, 1991.
[2] M. T. Liu, "Protocol engineering," inAdvances in Computers, Vol. 27, M. C. Yovits, Ed: New-York: Academic, July 1989, pp. 79-195.
[3] M. T. Liu, "Protocol conversion," inProc. 1990 Int. Comput. Symp., Dec. 1990, pp. 82-92.

Citation:
M.T. Liu, "Introduction," IEEE Transactions on Computers, vol. 40, no. 4, pp. 373-375, April 1991, doi:10.1109/TC.1991.10002
Usage of this product signifies your acceptance of the Terms of Use.