![](/img/cover-not-exists.png)
Using finite transducers for describing and synthesising structural time-series constraints
Beldiceanu, Nicolas, Carlsson, Mats, Douence, Rémi, Simonis, HelmutVolume:
21
Language:
english
Journal:
Constraints
DOI:
10.1007/s10601-015-9200-3
Date:
January, 2016
File:
PDF, 1.42 MB
english, 2016