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


Hailpern83
  • [Hailpern83] B.T. Hailpern and S.S. Owicki, Modular Verification of Computer Communication Protocols, IEEE, Communications, 31, 1, Jan, 1983. []


    fc@red.all.net