Generated Fri Oct 22 07:13:12 PDT 1999 by fc@red.all.net


Sunshine79
  • [Sunshine79] C. Sunshine, Formal Techniques for Protocol Specification and Verification, IEEE, Computer, 1979,Sept,20-27 []


    fc@red.all.net