{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:06Z","timestamp":1725663906695},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:21Z","timestamp":1330269921000},"page":"311-323","source":"Crossref","is-referenced-by-count":5,"title":["The verification problem for safe replaceability"],"prefix":"10.1007","author":[{"given":"Vigyan","family":"Singhal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Pixley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"H. Cho, G. D. Hachtel, S.-W. Jeong, B. Plessier, E. Schwarz, and F. Somenzi. ATPG Aspects of FSM Verification. In Proc. Intl. Conf. on Computer-Aided Design, pages 134\u2013137, 1990.","DOI":"10.1109\/ICCAD.1990.129861"},{"issue":"12","key":"26_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00971937","volume":"4","author":"H. Cho","year":"1993","unstructured":"H. Cho, S.-W. Jeong, F. Somenzi, and C. Pixley. Synchronizing Sequences and Symbolic Traversal Techniques in Test Generation. Journal of Electronic Testing: Theory and Applications, 4(12):19\u201331, 1993.","journal-title":"Journal of Electronic Testing: Theory and Applications"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"O. Coudert, C. Berthet, and J. C. Madre. Verification of Sequential Machines Based on Symbolic Execution. In J. Sifakis, editor, Proc. of the Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 365\u2013373, June 1989.","DOI":"10.1007\/3-540-52148-8_30"},{"key":"26_CR4","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability. W. H. Freeman and Co., 1979."},{"key":"26_CR5","series-title":"Intl. Series in Applied Mathematics","volume-title":"Algebraic Structure Theory of Sequential Machines","author":"J. Hartmanis","year":"1966","unstructured":"J. Hartmanis and R. E. Stearns. Algebraic Structure Theory of Sequential Machines. Intl. Series in Applied Mathematics. Prentice-Hall, Englewood Cliffs, N.J., 1966."},{"key":"26_CR6","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"C. Pixley. Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence. In E. M. Clarke and R. P. Kurshan, editors, Proc. of the Conf. on Computer-Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 54\u201364, June 1990.","DOI":"10.1007\/BFb0023719"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"H. Touati, H. Savoj, B. Lin, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. Implicit State Enumeration of Finite State Machines using BDD's. In Proc. Intl. Conf. on Computer-Aided Design, pages 130\u2013133, November 1990.","DOI":"10.1109\/ICCAD.1990.129860"}],"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_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:02Z","timestamp":1619572322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}