![](/img/cover-not-exists.png)
Constraint LTL satisfiability checking without automata
Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pradella, Matteo, Rossi, Matteo, San Pietro, PierluigiVolume:
12
Language:
english
Journal:
Journal of Applied Logic
DOI:
10.1016/j.jal.2014.07.005
Date:
December, 2014
File:
PDF, 886 KB
english, 2014