Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Corporate Author: | |
---|---|
Other Authors: | , , , , |
Format: | Electronic Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2007
|
Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science Festschrift. Lecture notes in computer science 4700 |
Subjects: |
Search Result 1