From State Key Laboratory of Computer Science

Main Page > Exchanges > Conferences > Festschrift-Symposium-Bjorner-Zhou
Jump to: navigation, search

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

  • 2007
Participant´╝ÜJian ZHANG, Naijun ZHAN, Huimin LIN, Xinxin LIU

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki