Using finite transducers for describing and synthesising structural time-series constraints

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis

Journal title: Constraints

Journal number: 21/1

Journal publisher: Kluwer Academic Publishers

Published year: 2016

Published pages: 22-40

DOI identifier: 10.1007/s10601-015-9200-3

ISSN: 1383-7133