Publications

Export 1 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Carlos Olarte  [Clear All Filters]
Journal Article
M. Falaschi, C. Olarte, and C. Palamidessi, “Abstract interpretation of temporal concurrent constraint programs”, Theory and Practice of Logic Programming, vol. 15, p. 312–357, 2015.