Symmetry Reduction for B by Permutation Flooding
2007) Symmetry Reduction for B by Permutation Flooding. In Proceedings of 7th International B Conference LNCS 4355, Besancon. France. (
ECS staff and postgraduates may modify this record.
Members of ECS may view the download statistics dashboard for this record.
Metadata available via OAI as: oai_dc (unqualified dublin core)