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

Palmer86

  • [Palmer86] J. W. Palmer and K. K. Sabnani, A Survey of Protocol Verification Techniques, MilCom, Sept,1986 []

    fc@red.all.net