Login / Signup

A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.

Alastair F. DonaldsonAlice Miller
Published in: AMAST (2006)
Keyphrases