@inproceedings{klimowicz:hal-01637518, TITLE = {{On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines}}, AUTHOR = {Klimowicz, Adam}, URL = {https://inria.hal.science/hal-01637518}, NOTE = {Part 7: Decisions}, BOOKTITLE = {{15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)}}, ADDRESS = {Vilnius, Lithuania}, EDITOR = {Khalid Saeed and Wladyslaw Homenda}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Computer Information Systems and Industrial Management}, VOLUME = {LNCS-9842}, PAGES = {493-503}, YEAR = {2016}, MONTH = Sep, DOI = {10.1007/978-3-319-45378-1\_44}, KEYWORDS = {Finite state machine (FSM) ; State minimization ; High speed}, PDF = {https://inria.hal.science/hal-01637518/file/419526_1_En_44_Chapter.pdf}, HAL_ID = {hal-01637518}, HAL_VERSION = {v1}, }