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

A. W. Roscoe and G. Lowe

Institution
University of Leicester
Note
and IEEE transactions on Software Engineering Vol 23 (1997)
Year
1996

Links

See Also

Back to Top