![](/img/cover-not-exists.png)
Taming past LTL and flat counter systems
Demri, Stéphane, Dhar, Amit Kumar, Sangnier, ArnaudVolume:
242
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2015.03.007
Date:
June, 2015
File:
PDF, 1.02 MB
english, 2015