TY  - RPRT
TI  - Towards an Effective Decision Procedure for LTL formulas with Constraints
AU  - Marco Comini
AU  - Laura Titolo
AU  - Alicia Villanueva
PY  - 2013
UR  - https://arxiv.org/abs/1308.4171
ID  - 1308.4171
ER  -