{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:51Z","timestamp":1725663891672},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:08Z","timestamp":1330269908000},"page":"222-233","source":"Crossref","is-referenced-by-count":1,"title":["Models whose checks don't explode"],"prefix":"10.1007","author":[{"given":"R. P.","family":"Kurshan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"19_CR1","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman, 1979."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"O. Grumberg and D. E. Long. Model Checking and Modular Verification. In Proc. CONCUR'91, volume 527 of Lec. Notes Comput. Sci. (LNCS). Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_93"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BFb0023732","volume":"531","author":"S. Graf","year":"1991","unstructured":"S. Graf and B. Steffen. Compositional Minimization of Finite State Systems. Lee. Notes Comput. Sci. (LNCS) 531, pages 186\u2013196, (1991).","journal-title":"Lee. Notes Comput. Sci. (LNCS)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"P. Halmos. Lectures on Boolean Algebras. Springer-Verlag, 1974.","DOI":"10.1007\/978-1-4612-9855-7"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/j.1538-7305.1990.tb00102.x","volume":"69","author":"Z. Har'El","year":"1990","unstructured":"Z. Har'El and R. P. Kurshan. Software for Analytical Development of Communications Protocol. AT&T Tech. J. 69, pages 45\u201359, (1990).","journal-title":"AT&T Tech. J."},{"key":"19_CR6","unstructured":"R. Hojati, V. Singhal, and R. K. Brayton. Edge-Street\/Edge-Rabin Automata Environment for Formal Verification Using Language Containment. LICS (to appear), 1994."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"D. Kozen. Lower Bounds for Natural Proof Systems. Proc 18th Symp. Found. Comput. Sci. (FOCS), pages 254\u2013266, (1977).","DOI":"10.1109\/SFCS.1977.16"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/3-540-52559-9_74","volume":"430","author":"R. P. Kurshan","year":"1990","unstructured":"R. P. Kurshan. Analysis of Discrete Event Coordination. Lec. Notes in Comput. Sci. (LNCS) 430, pages 414\u2013453, (1990).","journal-title":"Lec. Notes in Comput. Sci. (LNCS)"},{"key":"19_CR9","unstructured":"D. E. Long. Model Checking, Abstraction, and Compositional Verification. PhD thesis, CMU, 1993."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"S. Safra. On the complexity of \u03a9-automata. In Proc. 29th Found. Comput. Sci. (FOCS), pages 319\u2013327, 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"R. Sikorski. Boolean Algebras. Springer-Verlag, 1969.","DOI":"10.1007\/978-3-642-85820-8"},{"key":"19_CR12","unstructured":"H. Touati, R. Brayton, and R. P. Kurshan. Testing Language Containment for \u03a9-Automata Using BDD's. Lec. Notes in Comput. Sci. (LNCS), 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:54Z","timestamp":1605647874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}