APA (7th ed.) Citation

Zhan, N., Wang, S., & Zhao, H. (2017). Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (1st ed. 2017.). Springer International Publishing. https://doi.org/10.1007/978-3-319-47016-0

Chicago Style (17th ed.) Citation

Zhan, Naijun, Shuling Wang, and Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach. 1st ed. 2017. Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-47016-0.

MLA (9th ed.) Citation

Zhan, Naijun, et al. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach. 1st ed. 2017. Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-47016-0.