Formal methods and hybrid real-time systems essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays - Bjorner, D. (Dines) 1937-; Zhou, Chaochen 1937- (Berlin ; New York Springer, 2007)
Keywords: Bjorner, D. -- 1937-; Chaochen, Zhou