SpringerLink (Online service), Jones, C. B., Liu, Z., & Woodcock, J. (2007). Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (1st ed. 2007.). Springer Berlin Heidelberg : Imprint: Springer.
Cita Chicago Style (17a ed.)SpringerLink (Online service), Cliff B. Jones, Zhiming Liu, y Jim Woodcock. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.
Cita MLA (8a ed.)SpringerLink (Online service), et al. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. 1st ed. 2007. Springer Berlin Heidelberg : Imprint: Springer, 2007.