我院博士生祖佺和张苗苗老师与中科院软件所合作的论文“Bounded Model-checking of Discrete Duration Calculus”被第16届混合系统国际会议：计算与控制(16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013)录用。

　　HSCC属于ACM会议是混成系统领域的国际顶级会议。