![](/img/cover-not-exists.png)
Linear temporal logic for regular cost functions
Blumensath, Achim, Otto, Martin, Weyer, MarkVolume:
10
Year:
2014
Language:
english
Journal:
Logical Methods in Computer Science
DOI:
10.2168/LMCS-10)
File:
PDF, 604 KB
english, 2014