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