APA-Zitierstil (7. Ausg.)

Zhan, N., Wang, S., & Zhao, H. (2017). Formal verification of Simulink/Stateflow diagrams: A deductive approach. Springer.

Chicago-Zitierstil (17. Ausg.)

Zhan, Naijun, Shuling Wang, und Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach. [Cham]: Springer, 2017.

MLA-Zitierstil (9. Ausg.)

Zhan, Naijun, et al. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach. Springer, 2017.