{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:50Z","timestamp":1725564890697},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340799"},{"type":"electronic","value":"9783540340805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11751649_99","type":"book-chapter","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T10:07:52Z","timestamp":1147342072000},"page":"905-911","source":"Crossref","is-referenced-by-count":9,"title":["Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model"],"prefix":"10.1007","author":[{"given":"Sachoun","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gihwon","family":"Kwon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"99_CR1","unstructured":"Kim, D.: System-Level Specification and Cosimulation for Multimedia Embedded Systems, Ph.D. Dissertation, Computer Science Department, Seoul National University (2004)"},{"key":"99_CR2","unstructured":"iLogix, http:\/\/www.ilogix.com\/"},{"key":"99_CR3","unstructured":"http:\/\/ptolemy.eecs.berkeley.edu\/"},{"key":"99_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11599555_35","volume-title":"Embedded Software and Systems","author":"S. Park","year":"2005","unstructured":"Park, S., Kwon, G., Ha, S.: Formalization of fFSM model and its verification. In: Yang, L.T., Zhou, X.-s., Zhao, W., Wu, Z., Zhu, Y., Lin, M. (eds.) ICESS 2005. LNCS, vol.\u00a03820, pp. 361\u2013372. Springer, Heidelberg (2005)"},{"key":"99_CR5","unstructured":"Chan, W.: Symbolic Model checking for Large software Specification. Dissertation, Computer Science and Engineering at University of Washington (1999)"},{"key":"99_CR6","unstructured":"Lind-Nielsen, J.B.: Verification of Large State\/Event Systems, Ph.D. Dissertation, Department of Information Technology, Technical University of Denmark (2000)"},{"key":"99_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"99_CR8","doi-asserted-by":"crossref","unstructured":"Lind-Nielsen, J., Andersen, H.R., Hulgaard, H., Behrmann, G., Kristoffersen, K.J., Larsen, K.G.: Verification of Large State\/Event Systems Using Compositionality and Dependency Analysis. FMSD, 5\u201323 (2001)","DOI":"10.1023\/A:1008736219484"},{"key":"99_CR9","unstructured":"Clarke, E.M., Heinle, W.: Modular translation of Statecharts to SMV. Technical Report CMU-CS-00-XXX, CMU School of Computer Science (August 2000)"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications - ICCSA 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11751649_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T22:50:42Z","timestamp":1627339842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11751649_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340799","9783540340805"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11751649_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}