Login / Signup
Factorisation of Finite State Machines under Strong and Observational Equivalences.
Huajun Qin
Philip Lewis
Published in:
Formal Aspects Comput. (1991)
Keyphrases
</>
finite state machines
model checking
finite state automata
regular expressions
hidden markov models
high level
digital circuits
regular languages