Local search in model checking
A.W. Roscoe, P.J. Armstrong and Pragyesh
Details
| Book Title |
To appear in Proc ATVA 2009 (Springer) |
| Year |
2009 |
Links
Related pages
|
People |
www.comlab.ox.ac.uk/publications/publication3209-abstract.html