DMCA

A framework for abstract interpretation of timed concurrent constraint programs (2009)

by Moreno Falaschi , Carlos Olarte , Catuscia Palamidessi
Citations:3 - 1 self