MOCHA: Modularity in Model Checking (1998)

by Rajeev Alur , Thomas A. Henzinger , F.Y.C. Mang , S. Qadeer , S.K. Rajamani , S. Tasiran
Citations:158 - 20 self