Symmetry Reduction for B by Permutation Flooding
Symmetry Reduction for B by Permutation Flooding
978-3-540-68760-3
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Spermann, Corinna
61aadec0-008a-4ead-8cee-b17ffb53d8e6
Turner, Edd
596dae00-b3c7-4ce6-9899-c37bf2d3a0ce
Julliand, Jacques
16f41eef-ec01-4350-98cb-687ebbceafbc
Kouchnarenko, Olga
6a7a6829-1aa7-4824-9b6a-71b99e87ee73
January 2007
Leuschel, Michael
c2c18572-66cf-4f84-ade4-218ce3afe78b
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Spermann, Corinna
61aadec0-008a-4ead-8cee-b17ffb53d8e6
Turner, Edd
596dae00-b3c7-4ce6-9899-c37bf2d3a0ce
Julliand, Jacques
16f41eef-ec01-4350-98cb-687ebbceafbc
Kouchnarenko, Olga
6a7a6829-1aa7-4824-9b6a-71b99e87ee73
Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd
(2007)
Symmetry Reduction for B by Permutation Flooding.
Julliand, Jacques and Kouchnarenko, Olga
(eds.)
7th International B Conference, Besancon,, France.
17 - 19 Jan 2007.
Record type:
Conference or Workshop Item
(Paper)
Text
poor_mansym_B2007_final.pdf
- Other
More information
Published date: January 2007
Additional Information:
Copyright Springer Event Dates: January
Venue - Dates:
7th International B Conference, Besancon,, France, 2007-01-17 - 2007-01-19
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264454
URI: http://eprints.soton.ac.uk/id/eprint/264454
ISBN: 978-3-540-68760-3
PURE UUID: e2aeb661-b928-4fce-99d6-86b25e345df9
Catalogue record
Date deposited: 05 Sep 2007
Last modified: 18 Feb 2021 16:45
Export record
Contributors
Author:
Michael Leuschel
Author:
Michael Butler
Author:
Corinna Spermann
Author:
Edd Turner
Editor:
Jacques Julliand
Editor:
Olga Kouchnarenko
University divisions
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.
View more statistics