A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of Transitions
Crossref DOI link: https://doi.org/10.1007/s10559-023-00554-6
Published Online: 2023-04-13
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Babakov, R. M.
Barkalov, A. A.
Text and Data Mining valid from 2023-03-01
Version of Record valid from 2023-03-01
Article History
Received: 19 August 2022
First Online: 13 April 2023