Mocha: Modularity in Model Checking (1998)

by Rajeev Alur, Thomas A Henzinger, F Y C Mang, Shaz Qadeer, Sriram K Rajamani, Serdar Tasiran
Venue:In Proceedings of the Tenth International Conference on Computer-aided Verification