Efficiency of automata in semi-commutation verification techniques.

Gérard Cécé Pierre-Cyrille Héam Yann Mainier

Published in: RAIRO Theor. Informatics Appl. (2008)

Keyphrases

data sets
real world
information retrieval
website
asynchronous circuits
expert systems
control system
cellular automata
finite state machines