{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:28:17Z","timestamp":1794378497140,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202233","type":"print"},{"value":"9783540452126","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_12","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:42:51Z","timestamp":1277829771000},"page":"173-189","source":"Crossref","is-referenced-by-count":14,"title":["Space Reductions for Model Checking Quasi-Cyclic Systems"],"prefix":"10.1007","author":[{"given":"Matthew B.","family":"Dwyer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Non","family":"Robby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xianghua","family":"Deng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"http:\/\/cadena.projects.cis.ksu.edu (2003)"},{"key":"12_CR2","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: Symmetric spin. International Journal on Software Tools for Technology Transfer. Springer (2002)"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1109\/32.908961","volume":"27","author":"W. Chan","year":"2001","unstructured":"Chan, W., Anderson, R.J., Beame, P., Notkin, D., Jones, D.H., Warner, W.E.: Optimizing symbolic model checking for statecharts. IEEE Transactions on Software Engineering\u00a027(2), 170\u2013190 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Deng, W., Dwyer, M., Hatcliff, J., Jung, G., Robby, X.D.: Model-checking middlewarebased event-driven real-time embedded software. In: Proceedings of the 1st International Symposium on Formal Methods for Component and Objects (2002)","DOI":"10.1007\/978-3-540-39656-7_6"},{"key":"12_CR6","volume-title":"The Cleanroom Approach to Quality Software Development","author":"M. Dyer","year":"1992","unstructured":"Dyer, M.: The Cleanroom Approach to Quality Software Development. Wiley, Chichester (1992)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model-checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL 1997), January 1997, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/3-540-56496-9_15","volume-title":"Computer Aided Verification","author":"P. Godefroid","year":"1993","unstructured":"Godefroid, P., Holzmann, G.J., Pirottin, D.: State-space caching revisited. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 178\u2013191. Springer, Heidelberg (1993)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Prasad, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proceedings of the 25th International Conference on Software Engineering (2003)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Proceedings of the 29th ACM Symposium on Principles of Programming Languages, January 2002, pp. 58\u201370 (2002)","DOI":"10.1145\/503272.503279"},{"issue":"5","key":"12_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013294 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-46017-9_5","volume-title":"Model Checking Software","author":"R. Iosif","year":"2002","unstructured":"Iosif, R.: Symmetry reduction criteria for software model checking. In: Bo\u0161na\u010dki, D., Leue, S. (eds.) SPIN 2002. LNCS, vol.\u00a02318, pp. 22\u201341. Springer, Heidelberg (2002)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Robby, X.D., Dwyer, M.B., Hatcliff, J.: Bogor: An extensible and highly-modular model checking framework. In: Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (2003)","DOI":"10.1145\/940103.940107"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Sharp, D.: Reducing avionics software cost through component based product line development. In: Proceedings of the Software Technology Conference (April 1998)","DOI":"10.1109\/DASC.1998.739846"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:04:37Z","timestamp":1559214277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_12","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b13983","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}