{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:02:16Z","timestamp":1648717336673},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2004,9]]},"DOI":"10.1007\/bf02945600","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T04:25:18Z","timestamp":1221193518000},"page":"729-733","source":"Crossref","is-referenced-by-count":1,"title":["HSM2: A new heuristic state minimization algorithm for finite state machine"],"prefix":"10.1007","volume":"19","author":[{"given":"Heng","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Xi","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji-Nian","family":"Bian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02945600_CR1","unstructured":"Liu Mingye. Computer Aided Logic Design Theory. Science Press, 1985. (in Chinese)"},{"key":"BF02945600_CR2","first-page":"450","volume":"20","author":"D Pager","year":"1971","unstructured":"Pager D. Conditions for existence of minimal closed covers composed of maximal compatibles.IRE Trans. Comp., 1971, 20: 450\u2013452.","journal-title":"IRE Trans. Comp."},{"key":"BF02945600_CR3","doi-asserted-by":"crossref","unstructured":"Higuchi H, Matsunaga Y. A fast state reduction algorithm for incompletely specified finite state machine. InProc. the 33rd Design Automation Conf., June 1996, Las Vegas, NV, USA, pp.463\u2013466.","DOI":"10.1145\/240518.240606"},{"key":"BF02945600_CR4","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/PGEC.1965.264140","volume":"14","author":"A Grasselli","year":"1965","unstructured":"Grasselli A, Luccio F. A method for minimization of the number of internal states in incompletely specified sequential networks.IRE Trans. Elect. Comp., June 1965, 14: 350\u2013359.","journal-title":"IRE Trans. Elect. Comp."},{"key":"BF02945600_CR5","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/T-C.1975.224137","volume":"24","author":"C V S Rao","year":"1975","unstructured":"Rao C V S, Biswas N N. Minimization of incompletely specified sequential machines.IRE Trans. Computers, 1975, 24: 1089\u20131100.","journal-title":"IRE Trans. Computers"},{"issue":"5","key":"BF02945600_CR6","first-page":"463","volume":"26","author":"J M Sanchez","year":"1995","unstructured":"Sanchez J M, Garnica A O, Lanchares J. A genetic algorithm for reducing the number of states in incompletely specified finite state machine.Micro Electronic Journal, 1995, 26(5): 463\u2013470.","journal-title":"Micro Electronic Journal"},{"key":"BF02945600_CR7","doi-asserted-by":"crossref","unstructured":"Kannan L N, Sarma D. Fast heuristic algorithm for finite state minimization.European Design Automation Conf., 1991, pp.192\u2013196.","DOI":"10.1109\/EDAC.1991.206388"},{"key":"BF02945600_CR8","doi-asserted-by":"crossref","unstructured":"Avedillo M J, Quintana J M, Huerias J L. New approach to the state reduction in incompletely specified sequential machine. InProc. IRE International Symposium on Circuits and Systems, 1990, pp.440\u2013443.","DOI":"10.1109\/ISCAS.1990.112075"},{"key":"BF02945600_CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0045-7906(00)00016-1","volume":"27","author":"Imtiaz Ahmad","year":"2001","unstructured":"Imtiaz Ahmad, A Shoha Das. A heuristic algorithm for the minimization of incompletely specified finite state machine.Computers and Electrical Engineering, 2001, 27: 159\u2013172.","journal-title":"Computers and Electrical Engineering"},{"key":"BF02945600_CR10","unstructured":"Gang Wang. The automatic synthesis of controller based on FSM theory [Thesis]. Tsinghua University, 1996."},{"key":"BF02945600_CR11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1109\/43.259940","volume":"13","author":"J K Rho","year":"1994","unstructured":"Rho J K, Hachtei G D, Somenzi F. Exact and heuristic algorithms for minimization of incompletely specified state machines.IRE Trans. Computer-Aided Design, 1994, 13: 167\u2013177.","journal-title":"IRE Trans. Computer-Aided Design"},{"key":"BF02945600_CR12","doi-asserted-by":"crossref","unstructured":"Gupta B N V M. Narayanan H, Desai M P. A state assignment scheme targeting performance and area. InProc. 12th International Conference on VLSI Design, Jan. 1999, pp.378\u2013383.","DOI":"10.1109\/ICVD.1999.745185"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02945600.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02945600\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02945600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:21:17Z","timestamp":1558455677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02945600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":12,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["BF02945600"],"URL":"https:\/\/doi.org\/10.1007\/bf02945600","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,9]]}}}