{"acknowledgement":"This research was supported in part by the ONR YIP award N00014-95-1-0520, by the NSF CAREER award CCR-9501708, by the NSF grant CCR-9504469, by the ARO MURI grant DAAH-04-96-1-0341, and by the SRC contract 97-DC-324.041.","intvolume":"      1427","publist_id":"103","volume":1427,"year":"1998","conference":{"end_date":"1998-07-02","location":"Vancouver, Canada","start_date":"1998-06-28","name":"CAV: Computer Aided Verification"},"citation":{"mla":"Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, vol. 1427, Springer, 1998, pp. 521–25, doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>.","ieee":"R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” in <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, Vancouver, Canada, 1998, vol. 1427, pp. 521–525.","ama":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>. Vol 1427. Springer; 1998:521-525. doi:<a href=\"https://doi.org/10.1007/BFb0028774\">10.1007/BFb0028774</a>","chicago":"Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i>, 1427:521–25. Springer, 1998. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>.","ista":"Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. 1998. Mocha: Modularity in model checking. Proceedings of the 10th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1427, 521–525.","apa":"Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., &#38; Tasiran, S. (1998). Mocha: Modularity in model checking. In <i>Proceedings of the 10th International Conference on Computer Aided Verification</i> (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer. <a href=\"https://doi.org/10.1007/BFb0028774\">https://doi.org/10.1007/BFb0028774</a>","short":"R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525."},"_id":"4604","language":[{"iso":"eng"}],"author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"full_name":"Mang, Freddy","last_name":"Mang","first_name":"Freddy"},{"last_name":"Qadeer","first_name":"Shaz","full_name":"Qadeer, Shaz"},{"first_name":"Sriram","last_name":"Rajamani","full_name":"Rajamani, Sriram"},{"full_name":"Tasiran, Serdar","first_name":"Serdar","last_name":"Tasiran"}],"publication":"Proceedings of the 10th International Conference on Computer Aided Verification","doi":"10.1007/BFb0028774","page":"521 - 525","publication_identifier":{"isbn":["9783540646082"]},"quality_controlled":"1","title":"Mocha: Modularity in model checking","status":"public","alternative_title":["LNCS"],"oa_version":"None","date_created":"2018-12-11T12:09:42Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","scopus_import":"1","publication_status":"published","date_published":"1998-01-01T00:00:00Z","extern":"1","type":"conference","day":"01","month":"01","article_processing_charge":"No","date_updated":"2022-08-23T09:06:21Z"}