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 Authors: SpringerLink (Online service)
Group Author: Zhou Chaochen, 1937-; Jones C. B.; (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Bjørner D.; (Dines), 1937-
Published: Springer,
Publication Dates: c2007.