Sign in
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.
Rong Su
Jan H. van Schuppen
Jacobus E. Rooda
Albert T. Hofkamp
Published in:
Autom. (2010)
Keyphrases
</>
high level
sequential search
information retrieval
association rules
finite state machines
finite state automata
similarity measure
abstract data types
tree automata
deterministic finite automata
deterministic finite automaton