{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:58:33Z","timestamp":1768557513568,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540646082","type":"print"},{"value":"9783540693390","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028774","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:48:09Z","timestamp":1133419689000},"page":"521-525","source":"Crossref","is-referenced-by-count":166,"title":["MOCHA: Modularity in model checking"],"prefix":"10.1007","author":[{"given":"R.","family":"Alur","sequence":"first","affiliation":[]},{"given":"T. A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"F. Y. C.","family":"Mang","sequence":"additional","affiliation":[]},{"given":"S.","family":"Qadeer","sequence":"additional","affiliation":[]},{"given":"S. K.","family":"Rajamani","sequence":"additional","affiliation":[]},{"given":"S.","family":"Tasiran","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"49_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, vol. 126, pages 183\u2013235,1994.","journal-title":"Theoretical Computer Science"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and TA. Henzingcr. Reactive modules.In Proc. 11th IEEE Symposium on Logic in Computer Science, pages 207\u2013218, 1996.","DOI":"10.1109\/LICS.1996.561320"},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzingcr. Modularity for timed and hybrid systems. In Proc. 8th International Conference on Concurrency Theory, LNCS 1243, pages 74\u201388. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63141-0_6"},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, TA. Henzingcr, and O. Kupferman. Alternating-time temporal logic. In Proc. 38th IEEE Symposium on Foundations of Computer Science, pages 100\u2013109, 1997.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, TA. Henzingcr, and S.K. Rajamani. Symbolic exploration of transition hierarchies. In TACAS 98: Tools and Algorithms for Construction and Analysis of Systems, LNCS 1384, pages 330\u2013344, 1998.","DOI":"10.1007\/BFb0054181"},{"issue":"2","key":"49_CR6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"J.R. Burch and E.M. Clarke and K.L. McMillan and D.L. Dill and L.J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, Vol 98, No 2, pages 142\u2013170, 1992.","journal-title":"Information and Computation"},{"key":"49_CR7","unstructured":"G. Berry and G. Gonthier. The synchronous programming language ESTEREL: design, semantics, implementation. Technical Report 842, INRIA, 1988."},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"R. Brayton, G. Hachtcl, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. Ranjan, S. Sarwary, T Shiple, G. Swamy, and T. Villa. VIS: A system for verification and synthesis. In Proc. 8th International Conference on Computer Aided Verification, LNCS 1102, pages 428\u2013432. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_95"},{"key":"49_CR9","doi-asserted-by":"crossref","unstructured":"R.E. Bryant. Graph-based algorithms for boolean-function manipulation. IEEE Trans. on Computers, C-35(8), 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel program design: A foundation. Addison-Wesley, 1988","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, LNCS 131, pages 52\u201371. Springer-Verlag, 1981.","DOI":"10.1007\/BFb0025774"},{"key":"49_CR12","unstructured":"ExpertInterfaccTechnologies.Tix Home Page.http:\/\/www.xpi.com\/tix\/index.html."},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"TA. Henzingcr, S. Qadeer, and S.K. Rajamani. You assume, we guarantee: Methodology and case studies. In Proc. 10th International Conference ore CornputerAided Verification. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0028765"},{"key":"49_CR14","unstructured":"N.A. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996."},{"key":"49_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symposium on Foundations of Computer Science, pages 46\u201377, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"49_CR16","unstructured":"R.K. Ranjan, A. Aziz, B. Messier, C. Pixley, and R.K. Brayton. Efficient formal design verification: data structures + algorithms. In Proc. International Workshop on Logic Synthesis, 1995."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:23:27Z","timestamp":1586593407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0028774","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}