Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Practical partial order reduction for CSP

Practical partial order reduction for CSP

A.W. Roscoe T. Gibson−Robinson H. Hansen and X Wang

Book Title
NASA Formal Methods‚ 2015
Year
2015

Links

See Also

Back to Top