This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September 1979 (vol. 12 no. 9)
pp. 20-27
C. Sunshine, The Rand Corporation
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
Citation:
C. Sunshine, "Formal Techniques for Protocol Specification and Verification," Computer, vol. 12, no. 9, pp. 20-27, Sept. 1979, doi:10.1109/MC.1979.1658889
Usage of this product signifies your acceptance of the Terms of Use.