Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bjørner, D. (Dines), 1937-, Chaochen, Zhou, Jones, C. B. (Cliff B.), 1944-, Liu, Zhiming, 1961-, Woodcock, Jim
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 4700. Lecture notes in computer science. Festschrift.
Subjects:	Bjørner, D. > (Dines), > 1937- Chaochen, Zhou. Formal methods (Computer science) > Congresses. Real-time data processing > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Published 2007

Connect to the full text of this electronic book

Conference Proceeding Book