@article{Babakov:2023,
author
=
"R.Babakov and O.Barkalov",
title
=
"A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of Transitions",
journal
=
"Cybernetics and Systems Analysis",
volume
=
"Vol. 59",
number
=
"no. 2",
pages
=
"190--198",
year
=
"2023",
note
=
"(Translated from Kibernetyka ta Systemnyi Analiz, 2023, No. 2 ; A. Barkalov - afiliacja również Donetsk National University)",
}