Symmetry Reduction in CSP Model Checking
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-019-00516-4
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2019
Authors
Publisher
Springer Science and Business Media LLC