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

ISSN
1573−0670
Journal
Journal of Automated Reasoning
Pages
365−398
Publisher
Springer Netherlands
Volume
41
Year
2008

Links

See Also

Back to Top