{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:31:06Z","timestamp":1725564666754},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244769"},{"type":"electronic","value":"9783540305835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30583-5_26","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T05:28:51Z","timestamp":1283837331000},"page":"243-252","source":"Crossref","is-referenced-by-count":0,"title":["State Minimization of SP-DEVS"],"prefix":"10.1007","author":[{"given":"Moon Ho","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2nd edn. Academic Press, London (2000)","edition":"2"},{"key":"26_CR2","unstructured":"Hwang, M.H., Cho, S.K.: Timed analysis of schedule preserved devs. In: Bruzzone, A.G., Williams, E. (eds.) 2004 Summer Computer Simulation Conference, San Jose, CA, pp. 173\u2013178. SCS (2004)"},{"key":"26_CR3","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2000","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison Wesley, Reading (2000)","edition":"2"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/B978-0-12-417750-5.50022-1","volume-title":"The Theory of Machine and Computations","author":"J.E. Hopcroft","year":"1971","unstructured":"Hopcroft, J.E.: An n log n algorithm for minimizing states in a finite automaton. In: Kohavi, Z. (ed.) The Theory of Machine and Computations, pp. 189\u2013196. Academic Press, New York (1971)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Simulation"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30583-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:31:52Z","timestamp":1620012712000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-540-30583-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540244769","9783540305835"],"references-count":4,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-540-30583-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}