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: