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)
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
Related URLs:
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.