Formal Methods and Hybrid Real-Time Systems

MLA

Jones, Cliff B, et al. Formal Methods and Hybrid Real-time Systems. Springer Berlin Heidelberg, 2007.

APA

Jones, C. B, Bjørner, D., Chaochen, Z., Kanade, T., Liu, Z., Woodcock, J., & Kittler, J. (2007). Formal Methods and Hybrid Real-Time Systems. Springer Berlin Heidelberg.

Chicago

Jones, Cliff B., Dines Bjørner, Zhou Chaochen, Takeo Kanade, Zhiming Liu, Jim Woodcock, and Josef Kittler. Formal Methods and Hybrid Real-Time Systems. : Springer Berlin Heidelberg, 2007.