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