{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:26:05Z","timestamp":1767651965183},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001997"},{"type":"electronic","value":"9783540361909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36190-1_7","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:24:21Z","timestamp":1184603061000},"page":"228-273","source":"Crossref","is-referenced-by-count":29,"title":["Modeling and Designing Heterogeneous Systems"],"prefix":"10.1007","author":[{"given":"Felice","family":"Balarin","sequence":"first","affiliation":[]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Passerone","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Sgroi","sequence":"additional","affiliation":[]},{"given":"Yosinori","family":"Watanabe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,27]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"F. Balarin, Y. Watanabe J. Burch, L. Lavagno, R. Passerone, and A. Sangiovanni-Vincentelli. Constraints specification at higher levels of abstraction. In Proceeding of the 6th Annual IEEE International Workshop on High Level Design Validation and Test-HLDVT\u201901. IEEE Computer Society, November 2001. 252","DOI":"10.1109\/HLDVT.2001.972819"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"R. S. Boyer, M. Kaufmann, and J. S. Moore. The boyer-moore theorem prover and its interactive enhancement. Computers & Mathematics with Applications, pages 27\u201362, January 1995. 259","DOI":"10.1016\/0898-1221(94)00215-7"},{"key":"7_CR3","unstructured":"Z. Har\u2019El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382\u2013385, 1988. 260"},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Formal methods in computeraided design: third international conference FMCAD 2000","year":"2000","unstructured":"Warren A. Hunt Jr. and Steven D. Johnson, editors. Formal methods in computeraided design: third international conference FMCAD 2000. Springer-Verlag, 2000. LNCS vol. 1954. 259"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993. 260","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences, pages 46\u201357, 1977. 232, 252","DOI":"10.1109\/SFCS.1977.32"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"J. Rabaey, M. Ammer, J. Silva jr., D. Patel, and S. Roundy. Picoradio supports ad hoc ultra-low power wireless networking. In IEEE Computer Magazine, July 2000. 266, 272","DOI":"10.1109\/2.869369"},{"key":"7_CR8","unstructured":"A. Sangiovanni-Vincentelli and A. Ferrari. System design-traditional concepts and new paradigms. In International COnference on Computer Design, ICCD\u2019 99, October 1999. 263"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"A. Sangiovanni-Vincentelli, M. Sgroi, and L. Lavagno. Formal models for communication-based design. In Proceedings of the 11-th International Conference on Concurrency Theory, Concur\u2019 00, August 2000. 263, 264","DOI":"10.1007\/3-540-44618-4_4"}],"container-title":["Lecture Notes in Computer Science","Concurrency and Hardware Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36190-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:35:14Z","timestamp":1556681714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36190-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001997","9783540361909"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-36190-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}