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.) CitationBjorner, 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.) CitationBjorner, 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.
Warning: These citations may not always be 100% accurate.