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 |
| Number |
10−11 |
| Pages |
1178−1197 |
| Publisher |
Elsevier |
| Volume |
77 |
| Year |
2012 |
Links
DOI (10.1016/j.scico.2011.07.008)
Related pages
|
People |