Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Local search in model checking

Local search in model checking

P.J. Armstrong A.W. Roscoe and Pragyesh

Book Title
To appear in Proc ATVA 2009 (Springer)
Year
2009

Links

See Also

Back to Top