ToC

2008

  • Corinna Spermann, Michael Leuschel
    ProB gets Nauty: Effective Symmetry Reduction for B and Z Models.
    In Proceedings TASE 2008, IEEE, 15--22, 2008.

2007

  • Michael Leuschel, Michael Butler, Corinna Spermann, Edd Turner
    Symmetry Reduction for B by Permutation Flooding.
    In Proceedings B'2007, Lecture Notes in Computer Science, 4355, Springer-Verlag, 79--93, 2007.
  • Edd Turner, Michael Leuschel, Corinna Spermann, Michael Butler
    Symmetry Reduced Model Checking for B.
    In Proceedings TASE 2007, IEEE, 25--34, 2007.