SAT−Solving in CSP Trace Refinement
Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe
Details
| Book Title |
Special Issue on Automated Verification of Critical Systems |
| Copyright |
Elsevier |
| Editor |
Markus Roggenbach |
| Journal |
Science of Computer Programming‚ special issue on Automated Verification of Critical Systems |
| Note |
To appear. |
| Publisher |
Elsevier |
| Year |
2011 |
Links
DOI (10.1016/j.scico.2011.07.008)
Related pages
|
People |