Corinna Spermann

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

University of Düsseldorf, Germany (PHD)

Education History

University of Düsseldorf, Germany

PHD

Publications

Corinna Spermann, Michael Leuschel
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. TASE (2008)
Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler
Symmetry Reduced Model Checking for B. TASE (2007)
Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner
Symmetry Reduction for B by Permutation Flooding. B (2007)