Corinna Spermann

2008
3	EE	Corinna Spermann, Michael Leuschel: ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. TASE 2008: 15-22
2007
2	EE	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
1	EE	Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34

Coauthor Index

1	Michael J. Butler	[1] [2]
2	Michael Leuschel	[1] [2] [3]
3	Edd Turner	[1] [2]