Symmetry reduction in CSP model checking
Crossref DOI link: https://doi.org/10.1007/s10009-019-00516-4
Published Online: 2019-04-01
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gibson-Robinson, Thomas
Lowe, Gavin
Funding for this research was provided by:
University of Oxford
Text and Data Mining valid from 2019-04-01
Article History
First Online: 1 April 2019