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:	ICTAC (Colloquium)
Other Authors:	Bjørner, D. (Dines), 1937-, Zhou, Chaochen, 1937-, Jones, C. B. (Cliff B.), 1944-, Liu, Zhiming, 1961-, Woodcock, Jim
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	Lecture notes in computer science. 4700. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Formal methods (Computer science) > Congresses. Real-time data processing > Congresses. Bjørner, D. > (Dines), > 1937- > Congresses. Zhou, Chaochen, > 1937- > Congresses.
Online Access:	Connect to the full text of this electronic book

Remote Storage