Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. On CSP refinement tests that run multiple copies of a process

On CSP refinement tests that run multiple copies of a process

Gavin Lowe

Journal
Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)
Year
2007

Links

See Also

Back to Top