Search Results - Zhou, Chaochen 1937-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays

    Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays by Bjorner, D. (Dines) 1937-, Zhou, Chaochen 1937-

    Published 2007
    Table of contents

Search Tools: