{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:20Z","timestamp":1725487220589},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_32","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:50:47Z","timestamp":1184586647000},"page":"465-479","source":"Crossref","is-referenced-by-count":11,"title":["Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams"],"prefix":"10.1007","author":[{"given":"Nina","family":"Amla","sequence":"first","affiliation":[]},{"given":"E. Allen","family":"Emerson","sequence":"additional","affiliation":[]},{"given":"Kedar","family":"Namjoshi","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Trefler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. Conjoining specifications. ACM Trans. on Programming Languages and Systems (TOPLAS), May 1995.","DOI":"10.1145\/203095.201069"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"B. Alpern and F. Schneider. Defining liveness. Information Processing Letters, 21(4), 1985.","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger. Reactive modules. In IEEE LICS, 1996.","DOI":"10.1109\/LICS.1996.561320"},{"key":"32_CR4","series-title":"Lect Notes Comput Sci","volume-title":"FMCAD","author":"N. Amla","year":"2000","unstructured":"N. Amla, E.A. Emerson, R.P. Kurshan, and K.S. Namjoshi. Model checking synchronous timing diagrams. In FMCAD, volume 1954 of LNCS, 2000."},{"key":"32_CR5","unstructured":"Bell Laboratories, Lucent Technologies. PCI Core User\u2019s Manual (Version 1.0). Technical report, July 1996."},{"key":"32_CR6","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms, chapter 34. MIT Press and McGraw-Hill, 1990."},{"key":"32_CR7","unstructured":"W.P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Non-compositional Proof Methods. 1999. Draft book."},{"key":"32_CR8","series-title":"Lect Notes Comput Sci","volume-title":"CAV","author":"R.H. Hardin","year":"1996","unstructured":"R.H. Hardin, Z. Har\u2019el, and R.P. Kurshan. COSPAN. In CAV, volume 1102 of LNCS, 1996."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"J. Helbig, R. Schlor, W. Damm, G. Dohmen, and P. Kelb. VHDL\/S-integrating statecharts, timing diagrams, and VHDL. Microprocessing and Microprogramming, 38, 1993.","DOI":"10.1016\/0165-6074(93)90197-S"},{"key":"32_CR10","series-title":"Lect Notes Comput Sci","volume-title":"ICALP","author":"B. Josko","year":"1987","unstructured":"B. Josko. Model checking of CTL formulae under liveness assumptions. In ICALP, volume 267 of LNCS, 1987."},{"key":"32_CR11","unstructured":"B. Josko. Modular Specification and Verification of Reactive Systems. Universit\u00e4t Oldenburg, 1993."},{"key":"32_CR12","series-title":"Lect Notes Comput Sci","volume-title":"CHARME","author":"K.L. McMillan","year":"1999","unstructured":"K.L. McMillan. Circular compositional reasoning about liveness. In CHARME, volume 1703 of LNCS, 1999."},{"key":"32_CR13","series-title":"Lect Notes Comput Sci","volume-title":"CAV","author":"K.S. Namjoshi","year":"2000","unstructured":"K.S. Namjoshi and R.J. Treer. On the completeness of compositional reasoning. In CAV, volume 1855 of LNCS. Springer-Verlag, 2000."},{"key":"32_CR14","unstructured":"PCI Special Interest Group. PCI Local Bus Specification Rev 2.1. Technical report, June 1995."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli. In transition from global to modular reasoning about programs. In Logics and Models of Concurrent Systems, NATO ASI Series, 1985.","DOI":"10.1007\/978-3-642-82453-1_5"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:10:26Z","timestamp":1556665826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}