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


Bochmann77
  • [Bochmann77] G.V. Bochmann and J. Gecsei A Unified Method for the Specification and Verification of Protocols, IFIP Congress, Toronto, 1977,229-234 []


    fc@red.all.net