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