“大规模并发实时系统模型检验”项目会
会议题目:“大规模并发实时系统模型检验”项目会

 

会议时间:20171215

 

会议地点:镜春园78号院(怀新园)77201会议室

 

会议秘书:崔文慧  010-62751803   cuiwenhui@math.pku.edu.cn


会议日程及会场地图见附件。