Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. A Hierarchy of Failures−Based Models

A Hierarchy of Failures−Based Models

Christie Bolton and Gavin Lowe

Journal
Electr. Notes Theor. Comput. Sci.
Pages
129−152
Volume
96
Year
2004

Links

See Also

Back to Top