Login / Signup

Products of Finite State Machines with Full Coverage.

David M. CohenMichael L. Fredman
Published in: Theor. Comput. Sci. (1996)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • hidden markov models
  • regular expressions
  • digital circuits
  • mutation testing