Style de citation APA (7e éd.)
Cliff B. Jones, Z. L. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer.
Style de citation Chicago (17e éd.)
Cliff B. Jones, Zhiming Liu. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Berlín, Alemania: Springer.
Style de citation MLA (9e éd.)
Cliff B. Jones, Zhiming Liu. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.