An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines.

Tam Anh Chu Narayana Mani Clement K. C. Leung

Published in: DAC (1993)

Keyphrases

finite state machines
model checking
state machine
databases
hidden markov models
regular expressions
state transition
finite state automata
database systems
video sequences
search algorithm
test set
cellular automaton