{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:40:26Z","timestamp":1737592826919,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412199"},{"type":"electronic","value":"9783540409229"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-40922-x_30","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T09:41:36Z","timestamp":1196329296000},"page":"523-541","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Theory of Consistency for Modular Synchronous Systems"],"prefix":"10.1007","author":[{"given":"Randal E.","family":"Bryant","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pankaj","family":"Chauhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Goel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. \u201cReactive modules.\u201d In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, pp. 207\u2013218. 1996.","key":"30_CR1","DOI":"10.1109\/LICS.1996.561320"},{"unstructured":"G. Berry, G. Gonthier. \u201cThe synchronous programming language Esterel: Design, semantics, implementation.\u201d Technical Report 842, INRIA. 1988.","key":"30_CR2"},{"issue":"8","key":"30_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. \u201cGraph-based algorithms for boolean function manipulation.\u201d IEEE Transactions on Computers, C-35(8), pp. 677\u2013691. 1986.","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"P. Chauhan, E. Clarke, Y. Lu, D. Wang. \u201cVerifying IP-Core based System-On-Chip designs.\u201d In Proceedings of the IEEE ASIC\/SOC Conference, pp. 27\u201331. 1999.","key":"30_CR4","DOI":"10.1109\/ASIC.1999.806467"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1008615614281","volume":"10","author":"E. Clarke","year":"1997","unstructured":"E. Clarke, O. Grumberg. H. Hamaguchi. \u201cAnother look at LTL model checking.\u201d Formal Methods in System Design, 10, pp. 47\u201371. 1997.","journal-title":"Formal Methods in System Design"},{"unstructured":"E. Clarke, O. Grumberg, D. Peled. Model Checking. MIT Press. 1999.","key":"30_CR6"},{"doi-asserted-by":"crossref","unstructured":"E. Clarke, Y. Lu, H. Veith, D. Wang, S. German. \u201cExecutable Protocol Specification in ESL.\u201d Formal Methods in Computer-Aided Design (FMCAD\u201900). 2000.","key":"30_CR7","DOI":"10.1007\/3-540-40922-X_13"},{"doi-asserted-by":"crossref","unstructured":"D.L. Dill. Trace theory for automatic hierarchical verification of speed-independent circuits. ACM Distinguished Dissertations. MIT Press, 1989.","key":"30_CR8","DOI":"10.7551\/mitpress\/6874.001.0001"},{"doi-asserted-by":"crossref","unstructured":"A. Goel, W. R. Lee. \u201cFormal Verification of an IBM CoreConnect Processor Local Bus Arbiter Core.\u201d 37th ACM\/IEEE Design Automation Conference. 2000.","key":"30_CR9","DOI":"10.1145\/337292.337384"},{"unstructured":"D. E. Long. \u201cModel Checking, Abstraction and Compositional Reasoning.\u201d PhD Thesis, Carnegie Mellon University, 1993.","key":"30_CR10"},{"doi-asserted-by":"crossref","unstructured":"Milner, Tofte, Harper, MacQueen. The Definition of Standard ML. MIT Press, 1997.","key":"30_CR11","DOI":"10.7551\/mitpress\/2319.001.0001"},{"doi-asserted-by":"crossref","unstructured":"K. Shimizu, D. L. Dill, A. J. Hu. \u201cMonitor-Based Formal Specification.\u201d Formal Methods in Computer Aided Design (FMCAD\u201900). 2000.","key":"30_CR12","DOI":"10.1007\/3-540-40922-X_21"},{"unstructured":"K. F. Larsen, J. Lichtenberg. MuDDy. Version 1.7. http:\/\/www.itu.dk\/research\/muddy .","key":"30_CR13"},{"unstructured":"J. L. Nielsen. BuDDy\u2013A Binary Decision Diagram Package. Version 1.7. http:\/\/www.itu.dk\/research\/buddy .","key":"30_CR14"},{"unstructured":"S. Romanenko, P Sestoft. Moscow ML. Version 1.44. http:\/\/www.dina.dk\/~sestoft\/mosml.html .","key":"30_CR15"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40922-X_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:23:05Z","timestamp":1737591785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40922-X_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540412199","9783540409229"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40922-x_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}