University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Local search in model checking

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

Details

Book Title

To appear in Proc ATVA 2009 (Springer)

Year

2009

Links

BibTeX

Download  (pdf)

Related pages

People