{"_id":"jH2YEQi9ZLuPShREv","bibbaseid":"alur-dealfaro-grosu-henzinger-kang-kirsch-majumdar-mang-etal-jmochaamodelcheckingtoolthatexploitsdesignstructure-2001","author_short":["Alur, R.","de Alfaro, L.","Grosu, R.","Henzinger, T. A.","Kang, M.","Kirsch, C. M.","Majumdar, R.","Mang, F. Y. C.","Wang, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-23T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":["de"],"lastnames":["Alfaro"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]},{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A."],"suffixes":[]},{"propositions":[],"lastnames":["Kang"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Kirsch"],"firstnames":["Christoph","M."],"suffixes":[]},{"propositions":[],"lastnames":["Majumdar"],"firstnames":["Rupak"],"suffixes":[]},{"propositions":[],"lastnames":["Mang"],"firstnames":["Freddy","Y.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Bow-Yaw"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/20a3ad53962aa525e6da5affc02b1efb1/dblp","booktitle":"ICSE","crossref":"conf/icse/2001","editor":[{"propositions":[],"lastnames":["Müller"],"firstnames":["Hausi","A."],"suffixes":[]},{"propositions":[],"lastnames":["Harrold"],"firstnames":["Mary","Jean"],"suffixes":[]},{"propositions":[],"lastnames":["Schäfer"],"firstnames":["Wilhelm"],"suffixes":[]}],"ee":"https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919196","interhash":"066a1e40d5c29cec270426ee2f2902ee","intrahash":"0a3ad53962aa525e6da5affc02b1efb1","isbn":"0-7695-1050-7","keywords":"dblp","pages":"835-836","publisher":"IEEE Computer Society","timestamp":"2024-04-10T05:36:35.000+0200","title":"JMOCHA: A Model Checking Tool that Exploits Design Structure.","url":"http://dblp.uni-trier.de/db/conf/icse/icse2001.html#AlurAGHKKMMW01","year":"2001","bibtex":"@inproceedings{conf/icse/AlurAGHKKMMW01,\n added-at = {2023-03-23T00:00:00.000+0100},\n author = {Alur, Rajeev and de Alfaro, Luca and Grosu, Radu and Henzinger, Thomas A. and Kang, M. and Kirsch, Christoph M. and Majumdar, Rupak and Mang, Freddy Y. C. and Wang, Bow-Yaw},\n biburl = {https://www.bibsonomy.org/bibtex/20a3ad53962aa525e6da5affc02b1efb1/dblp},\n booktitle = {ICSE},\n crossref = {conf/icse/2001},\n editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm},\n ee = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919196},\n interhash = {066a1e40d5c29cec270426ee2f2902ee},\n intrahash = {0a3ad53962aa525e6da5affc02b1efb1},\n isbn = {0-7695-1050-7},\n keywords = {dblp},\n pages = {835-836},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T05:36:35.000+0200},\n title = {JMOCHA: A Model Checking Tool that Exploits Design Structure.},\n url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#AlurAGHKKMMW01},\n year = 2001\n}\n\n","author_short":["Alur, R.","de Alfaro, L.","Grosu, R.","Henzinger, T. A.","Kang, M.","Kirsch, C. M.","Majumdar, R.","Mang, F. Y. C.","Wang, B."],"editor_short":["Müller, H. A.","Harrold, M. J.","Schäfer, W."],"key":"conf/icse/AlurAGHKKMMW01","id":"conf/icse/AlurAGHKKMMW01","bibbaseid":"alur-dealfaro-grosu-henzinger-kang-kirsch-majumdar-mang-etal-jmochaamodelcheckingtoolthatexploitsdesignstructure-2001","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919196","Paper":"http://dblp.uni-trier.de/db/conf/icse/icse2001.html#AlurAGHKKMMW01"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/De Luca?items=1000","dataSources":["TZ9FugiXFRnEMfH6R"],"keywords":["dblp"],"search_terms":["jmocha","model","checking","tool","exploits","design","structure","alur","de alfaro","grosu","henzinger","kang","kirsch","majumdar","mang","wang"],"title":"JMOCHA: A Model Checking Tool that Exploits Design Structure.","year":2001}