Symmetry Reduction for B by Permutation Flooding


Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd, (2007) Symmetry Reduction for B by Permutation Flooding Julliand, Jacques and Kouchnarenko, Olga (eds.) At 7th International B Conference, France.

Download

[img] PDF poor_mansym_B2007_final.pdf - Other
Download (364kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Copyright Springer Event Dates: January
Venue - Dates: 7th International B Conference, France, 2007-01-01
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 264454
Date :
Date Event
January 2007Published
Date Deposited: 05 Sep 2007
Last Modified: 23 Feb 2017 11:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/264454

Actions (login required)

View Item View Item