State Assignment of Finite-State Machines by Using the Values of Input Variables. - Valery Salauyou; Michal Ostapczuk (CISIM, 2017)