Login / Signup

Automatic Symmetry Detection for Promela.

Alastair F. DonaldsonAlice 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