Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, 21(1):22-40, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.