Automatic Verification of Timed Concurrent Constraint Programs

M. Falaschi, Villanueva García Alicia

2005

Theory and Practice of Logic Programming