APA (7th ed.) Citation

Bjorner, D., & Zhou, C. (2007). Formal methods and hybrid real-time systems: Essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. Springer.

Chicago Style (17th ed.) Citation

Bjorner, D., and Chaochen Zhou. Formal Methods and Hybrid Real-time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlin ; New York: Springer, 2007.

MLA (9th ed.) Citation

Bjorner, D., and Chaochen Zhou. Formal Methods and Hybrid Real-time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer, 2007.