Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2006) Symmetry reduction for B by permutation flooding. 7th International Conference of B Users, , Besancon, France. 07 - 19 Jan 2007.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 7 January 2006
Venue - Dates:
7th International Conference of B Users, , Besancon, France, 2007-01-07 - 2007-01-19
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262887
URI: http://eprints.soton.ac.uk/id/eprint/262887
PURE UUID: 943fd30c-61fc-4f49-a82c-9be089f7d9a8
Catalogue record
Date deposited: 10 Aug 2006
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Leuschel
Author:
Michael Butler
Author:
Corinna Spermann
Author:
Edd Turner
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.