TY  - RPRT
TI  - Automatic Verification of Timed Concurrent Constraint Programs
AU  - Moreno Falaschi
AU  - Alicia Villanueva
PY  - 2005
UR  - https://arxiv.org/abs/cs/0505026
ID  - cs/0505026
ER  -