Edd Turner

2007
3	EE	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner: Symmetry Reduction for B by Permutation Flooding. B 2007: 79-93
2	EE	Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler: Symmetry Reduced Model Checking for B. TASE 2007: 25-34
2005
1	EE	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]