{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:46:03Z","timestamp":1764402363775},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676645"},{"type":"electronic","value":"9783540451013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721959_20","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T21:12:31Z","timestamp":1167426751000},"page":"255-270","source":"Crossref","is-referenced-by-count":23,"title":["Simulation Based Minimization"],"prefix":"10.1007","author":[{"given":"Doron","family":"Bustan","sequence":"first","affiliation":[]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-58179-0_65","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1994","unstructured":"Aziz, A., Shiple, T.R., Singhal, V., Sangiovanni-Vincetelly, A.L.: Formula- dependent equivalence for compositional CTL model checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 324\u2013337. Springer, Heidelberg (1994)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Aziz, A., Singhal, V., Swamy, G.M., Brayton, R.K.: Minimizing interacting finite state machines: A compositional approach to language containment. In: Proceedings of the International Conference on Computer Design, pp. 255\u2013261 (1994)","DOI":"10.1109\/ICCD.1994.331900"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0167-6423(95)00003-B","volume":"24","author":"B. Bloom","year":"1996","unstructured":"Bloom, B., Paige, R.: Transformational design and implementation of new efficient solution to the ready simulation problem. Science of Computer Programming\u00a024, 189\u2013220 (1996)","journal-title":"Science of Computer Programming"},{"key":"20_CR4","first-page":"197","volume-title":"Computer-Aided Verification","author":"A. Bouajjani","year":"1990","unstructured":"Bouajjani, A., Fernandez, J.-C., Halbwachs, N.: Minimal model generation. In: Clarke, E.M., Kurshan, R.P. (eds.) Computer-Aided Verification, New York, pp. 197\u2013203. Springer, Heidelberg (1990)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","first-page":"96","volume-title":"Computer Aided Verification","author":"A. Bouali","year":"1992","unstructured":"Bouali, A., de Simone, R.: Symbolic bisimulation minimisation. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 96\u2013108. Springer, Heidelberg (1992)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bustan, D., Grumberg, O.: Simulation based minimization. Technical Report TR #CS-2000-04, Computer Science Department, Technion, Haifa (April 2000)","DOI":"10.1007\/10721959_20"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Synthesis of synchronization skeletons for branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131. Springer, Heidelberg (1981)"},{"key":"20_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT press, Cambridge (1999)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Fisler, K., Vardi, M.: Bisimulation minimization in an automata-theoretic verification framework.In: FMCAD, pp. 115\u2013132 (1998)","DOI":"10.1007\/3-540-49519-3_9"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. ACM Trans. on Programming Languages and Systems\u00a016(3), 843\u2013871 (1994)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulation on finite and infinite graphs. In: Proc. Symp. Foundations of Computer Science, pp. 453\u2013462 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-48523-6_47","volume-title":"Automata, Languages and Programming","author":"A. Kucera","year":"1999","unstructured":"Kucera, A., Mayr, R.: Simulation preorder on simple process algebras. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, p. 503. Springer, Heidelberg (1999)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Online minimization of transition systems. In: Proceedings of the 24th ACM Symp. on Theory of Computing (1992)","DOI":"10.1145\/129712.129738"},{"key":"20_CR14","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proc. of the 2nd IJCAI, London, UK, pp. 481\u2013489 (1971)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104. Springer, Heidelberg (1981)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-17"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721959_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:42:38Z","timestamp":1556019758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721959_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676645","9783540451013"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/10721959_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}