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

Bibliographic Details
Main Authors: Bjorner, D. [ (Dines)] , 1937- (Author), Zhou, Chaochen , 1937- (Author)
Format: Book
Language:English
Published: Berlin ; New York : Springer , c2007
Series:LNCS sublibrary. Theoretical computer science and general issues
Subjects:
Bjorner, D. [ > (Dines)] , > 1937-
Chaochen, Zhou
Online Access:Table of contents

Similar Items

Similar Items