Formal Methods and Hybrid Real-Time Systems: Essays in

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjoer and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture .. Computer Science and General Issues)

Hardcover: 539 pages

Publisher: Springer (September 6, 2007)

Language: English

ISBN-10: 354075220X