Proving Properties of a Ring of Finite-State Machines.

Published in: Inf. Process. Lett. (1988)

Keyphrases

finite state machines
finite state automata
model checking
structural properties
regular expressions
desirable properties
neural network
information systems