Declarative Diagnosis of Temporal Concurrent Constraint Programs (2007)

by M Falaschi, C Olarte, C Palamidessi, F D Valencia
Venue:ICLP 2007, volume 4670 of LNCS