Sciweavers

PPDP
2009
Springer

A framework for abstract interpretation of timed concurrent constraint programs

14 years 6 months ago
A framework for abstract interpretation of timed concurrent constraint programs
Moreno Falaschi, Carlos Olarte, Catuscia Palamides
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where PPDP
Authors Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
Comments (0)