Publications

Export 1 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Moreno Falaschi  [Clear All Filters]
2015
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.