Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 4700
ISBN: 9783540752219