Jiang Liu et al.: A Calculus for Hybrid CSP. (2010)conf/aplas/LiuLQZZZZ1010.1007/978-3-642-17164-2_1A Calculus for Hybrid CSP.7Jiang Liu 00091Jidong Lv2Zhao Quan3Naijun Zhan4Hengjun Zhao5Chaochen Zhou6Liang Zou71-15APLASAPLAS20102010provenance information for RDF data of dblp record 'conf/aplas/LiuLQZZZZ10'2017-05-19T01:25:53+0200