Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Using CSP to Detect Errors in the TMN Protocol

Using CSP to Detect Errors in the TMN Protocol

Gavin Lowe and A. W. Roscoe

Journal
IEEE Trans. Software Eng.
Number
10
Pages
659−669
Volume
23
Year
1997

Links

See Also

Back to Top