Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Assumption–Commitment Support for CSP Model Checking

Assumption–Commitment Support for CSP Model Checking

Nick Moffat and Michael Goldsmith

Journal
Journal of Automated Reasoning
Number
3
Pages
365–398
Publisher
Springer
Volume
41
Year
2008

Links

See Also

Back to Top