Login / Signup
Automatic Symmetry Detection for Promela.
Alastair F. Donaldson
Alice Miller
Published in:
J. Autom. Reason. (2008)
Keyphrases
</>
symmetry detection
fully automatic
semi automatic
rotational symmetry
data sets
information retrieval
genetic algorithm
information systems
e learning
control system
signal processing