Marco Comini, Laura Titolo, Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs. TPLP, 11(4-5):487-502, 2011. [doi]
@article{CominiTV11, title = {Abstract diagnosis for timed concurrent constraint programs}, author = {Marco Comini and Laura Titolo and Alicia Villanueva}, year = {2011}, doi = {10.1017/S1471068411000135}, url = {http://dx.doi.org/10.1017/S1471068411000135}, tags = {constraints}, researchr = {https://researchr.org/publication/CominiTV11}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {11}, number = {4-5}, pages = {487-502}, }