{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:58:07Z","timestamp":1759147087229},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412199"},{"type":"electronic","value":"9783540409229"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-40922-x_21","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T09:41:36Z","timestamp":1196329296000},"page":"372-390","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Monitor-Based Formal Specification of PCI"],"prefix":"10.1007","author":[{"given":"Kanna","family":"Shimizu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan J.","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"M. Kaufmann, A. Martin, and C. Pixley. \u201cDesign Constraints in Symbolic Model Checking\u201d in International Conference on Computer-Aided Verification, 1998.","DOI":"10.1007\/BFb0028768"},{"key":"21_CR2","unstructured":"PCI Special Interest Group. PCI Local Bus Specification, Revision 2.2, December 18 1995."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, and D. L. Dill. \u201cSequential circuit verification using symbolic model checking\u201d in Proceedings of the 27th ACM\/IEEE Design Automation Conference, 1990.","DOI":"10.1145\/123186.123223"},{"key":"21_CR4","unstructured":"P. Chauhan, E. M. Clarke, Y. Lu and D. Wang. \u201cVerifying IP-Core based System-On-Chip Designs\u201d in Proceedings of the IEEE ASIC conference, September 1999."},{"key":"21_CR5","unstructured":"E. M. Clarke and E.A. Emerson. \u201cSynthesis of synchronization skeletons for branching time temporal logic\u201d in Logic of Programs: Workshop, Yorktown Heights, NY, May 1981 Lecture Notes in Computer Science, vol. 131, Springer-Verlag. 1981."},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. \u201cAutomatic Verification of Finite-State Concurrent Systems Using Temporal Logic\u201d in ACM Transactions on Programming Languages and Systems 8(2):244\u2013263, April, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem","author":"A. Mokkedem","year":"1998","unstructured":"A. Mokkedem, R. Hosabettu, and G. Gopalakrishnan. \u201cFormalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem\u201d in Proceedings of the Second International Conference, Formal Methods in Computer-Aided Design, 1998. Lecture Notes in Computer Science, vol. 1522, Springer-Verlag."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"D. L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits, MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"21_CR9","unstructured":"G. S. Govindaraju and D. L. Dill. \u201cCounterexample-guided Choice of Projections in Approximate Symbolic Model Checking\u201d in Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), 2000. (under review)."},{"key":"21_CR10","unstructured":"R. E. Bryant, P. Chauhan, E. M. Clarke, and A. Goel. \u201cA Theory of Consistency for Modular Synchronous Systems\u201d in Proceedings of the Third International Conference, Formal Methods in Computer-Aided Design, 2000. (under review)."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, Y. Lu, H. Veith, D. Wang, and S. German. \u201cExecutable Protocol Specification in ESL\u201d in Proceedings of the Third International Conference, Formal Methods in Computer-Aided Design, 2000. (under review).","DOI":"10.1007\/3-540-40922-X_13"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T13:09:48Z","timestamp":1580303388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40922-X_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540412199","9783540409229"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-40922-x_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"18 June 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}