id: 05456485
dt: j
an: 05456485
au: De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
ti: Proving correctness of timed concurrent constraint programs.
so: ACM Trans. Comput. Log. 5, No. 4, 706-731 (2004).
py: 2004
pu: Association for Computing Machinery (ACM), New York, NY, USA
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1024922.1024926