Edd Turner

	2007
3		Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
2		Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
	2005
1		Michael Leuschel, Edd Turner: Visualising Larger State Spaces in Pro B. ZB 2005: 6-23

Coauthor Index

1	Michael J. Butler	[2] [3]
2	Michael Leuschel	[1] [2] [3]
3	Corinna Spermann	[2] [3]