Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

А3.45, Б2.2, Б3.5.

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysEd. by Jones C. B., Liu Zh., Woodcock J..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4700.-539 p.-(Lecture Notes in Computer Science).