Return to search

Identifying and exploiting symmetry for CSP refinement checking

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:711620
Date January 2011
CreatorsMoffat, Nicholas
ContributorsRoscoe, Bill
PublisherUniversity of Oxford
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.002 seconds