Skip to main content

Reducing complex CSP models to traces via priority

David Mestel and A.W. Roscoe

Journal
Proceedings of MFPS 2016
Year
2016