Towards an Effective Decision Procedure for LTL formulas with ConstraintsAug 1, 2013·Marco Comini,Laura Titolo,And Alicia Villanueva· 0 min read PDF CiteTypePreprintPublication23rd Workshop on Logic-based methods in Programming EnvironmentsLast updated on Aug 1, 2013 ← Abstract Diagnosis for tccp using a Linear Temporal Logic Jul 1, 2014An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages Jul 23, 2013 →