Publications

An improved protocol validation technique

• • J. Rubin
  • C.H. West
• 1982
• Computer Networks