Abstract Diagnosis for Timed Concurrent Constraint programs

Marco Comini, Laura Titolo, and Alicia Villanueva
July 2011
PDF Cite DOI
Type
Journal article
Publication
Theory and Practice of Logic Progamming, Volume 11(4-5)