Login / Signup

Horizontal Partitioning of PLA-based Finite State Machines.

Pierre G. Paulin
Published in: DAC (1989)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • state machine
  • state transition
  • digital circuits
  • regular expressions
  • database
  • database systems
  • domain knowledge