|
Symmetry Reduction for B by Permutation Flooding2007) Symmetry Reduction for B by Permutation Flooding. In Proceedings of 7th International B Conference LNCS 4355, Besancon. France. ( Downloads
Authors
CorrectionsECS staff and postgraduates may modify this record. TaggingDownload StatisticsMembers of ECS may view the download statistics dashboard for this record. MetadataMetadata available via OAI as: oai_dc (unqualified dublin core)
|
---|