TY  - RPRT
TI  - Proving correctness of Timed Concurrent Constraint Programs
AU  - F. S. de Boer
AU  - M. Gabbrielli
AU  - M. C. Meo
PY  - 2002
UR  - https://arxiv.org/abs/cs/0208042
ID  - cs/0208042
ER  -