Login / Signup
Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment.
Adnan Aziz
Vigyan Singhal
Gitanjali Swamy
Robert K. Brayton
Published in:
ICCD (1994)
Keyphrases
</>
finite state machines
model checking
finite state automata
hidden markov models
regular languages
digital circuits
domain knowledge
programming language
language learning
databases
natural language
regular expressions