@article{Babakov:2024,
author
=
"R.Babakov and O.Barkalov and L.Titarenko and M.Voitenko",
title
=
"Algorithmic differences of complete and partial algebraic synthesis of a finite state machine with datapath of transitions",
journal
=
"Radio Electronics Computer Science Control",
volume
=
"No. 4",
pages
=
"143--152",
year
=
"2024",
}