Abstract Diagnosis for tccp using a Linear Temporal LogicJul 1, 2014·Marco Comini,Laura Titolo,And Alicia Villanueva· 0 min read PDF Cite DOITypeJournal articlePublicationTheory and Practice of Logic Programming, Volume 14 (4-5), Special issue on ICLP 2014Last updated on Jul 1, 2014 ← Modeling Hybrid Systems in the Concurrent Constraint Paradigm Sep 14, 2014Towards an Effective Decision Procedure for LTL formulas with Constraints Aug 1, 2013 →