Login / Signup
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.
Christoph Meinel
Thorsten Theobald
Published in:
RAIRO Theor. Informatics Appl. (1999)
Keyphrases
</>
finite state machines
model checking
finite state automata
hidden markov models
state transition
regular expressions
ordered binary decision diagrams