Corinna Spermann

	2008
3		Corinna Spermann, Michael Leuschel: ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. TASE 2008: 15-22
	2007
2		Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
1		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]