Login / Signup

In Vitro Implementation of Finite-State Machines.

Max H. GarzonY. GaoJohn A. RoseR. C. MurphyRussell J. DeatonDonald R. FranceschettiStanley Edward Stevens Jr.
Published in: Workshop on Implementing Automata (1997)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • real time
  • knowledge base
  • database systems
  • integrity constraints
  • efficient implementation