Login / Signup

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines.

Vladimir A. Zakharov
Published in: Autom. Control. Comput. Sci. (2021)
Keyphrases
  • finite state machines
  • finite state automata
  • computationally expensive
  • neural network
  • database systems