SAT−Solving in CSP Trace Refinement
Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe
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