05456485

j

05456485 De Boer, Frank S. Gabbrielli, Maurizio Meo, Maria Chiara Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5, No. 4, 706-731 (2004). 2004 Association for Computing Machinery (ACM), New York, NY, USA EN

doi:10.1145/1024922.1024926