@inproceedings{klimowicz:hal-01656236,
  TITLE = {{Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design}},
  AUTHOR = {Klimowicz, Adam},
  URL = {https://inria.hal.science/hal-01656236},
  NOTE = {Part 6: Modelling and Optimization},
  BOOKTITLE = {{16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM)}},
  ADDRESS = {Bialystok, Poland},
  EDITOR = {Khalid Saeed and Wladyslaw Homenda and Rituparna Chaki},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Computer Information Systems and Industrial Management},
  VOLUME = {LNCS-10244},
  PAGES = {526-535},
  YEAR = {2017},
  MONTH = Jun,
  DOI = {10.1007/978-3-319-59105-6\_45},
  KEYWORDS = {Finite state machine (FSM) ; State minimization ; Logic synthesis ; Low power design},
  PDF = {https://inria.hal.science/hal-01656236/file/448933_1_En_45_Chapter.pdf},
  HAL_ID = {hal-01656236},
  HAL_VERSION = {v1},
}