Formal methods and hybrid real-time systems
Subtitle: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays
By: Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
Contributors: Bjørner, D. 1937-; Chaochen, Zhou.; Jones, C. B. 1944-; Liu, Zhiming, 1961-; Woodcock, Jim.
Series: LNCS sublibrary; Lecture notes in computer science -- 4700. -- Festschrift; Lecture notes in computer science -- 4700.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 538
ISBN-13: 9783540752202
Subjects: Bjørner, D. -- 1937-; Chaochen, Zhou; Formal methods (Computer science) -- Congresses; Real-time data processing -- Congresses
Genres: Congresses.
Notes: Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.

Includes bibliographical references and author index.