Abstract Diagnosis for Timed Concurrent Constraint programsJul 1, 2011·Marco Comini,Laura Titolo,And Alicia Villanueva· 0 min read PDF Cite DOITypeJournal articlePublicationTheory and Practice of Logic Progamming, Volume 11(4-5)Last updated on Jul 1, 2011 ← An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages Jul 23, 2013