Efficient Simulation of Multiprocessors through Finite State Machines.

Christoph Siegelin Ciaran O'Donnell Ulrich Finger

Published in: EUROMICRO (1996)

Keyphrases

finite state machines
hidden markov models
cost effective
finite state automata
mobile robot
computationally efficient
model checking
parallel implementation
digital circuits