地图    
Festschrift-Symposium-Bjorner-Zhou

出自计算机科学国家重点实验室

首页 > 开放交流 > 学术会议 > Festschrift-Symposium-Bjorner-Zhou
跳转到： 导航, 搜索

Formal Methods and Hybrid Real-Time Systems, Festschrift Symposium dedicated to the 70th birthdays of Dines Bjorner and Zhou Chaochen

  • 2007
参加人员：张健、詹乃军、林惠民、柳欣欣等
取自“http://www.ios.ac.cn/wiki/Festschrift-Symposium-Bjorner-Zhou”

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号