Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Developing and verifying protocols in CSP

Developing and verifying protocols in CSP

A. W. Roscoe

Book Title
Proceedings of Mierlo workshop on protocols
Publisher
TU Eindhoven
Year
1993

Links

See Also

Back to Top