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
Related pages
|
People |
P.J. Armstrong A.W. Roscoe and Pragyesh
| Book Title |
To appear in Proc ATVA 2009 (Springer) |
| Year |
2009 |
|
People |