Zhan, N., Wang, S., & Zhao, H. (2017). Formal verification of simulink/stateflow diagrams: A deductive approach. Springer. https://doi.org/10.1007/978-3-319-47016-0
Chicago-Zitierstil (17. Ausg.)Zhan, Naijun, Shuling Wang, und Hengjun Zhao. Formal Verification of Simulink/stateflow Diagrams: A Deductive Approach. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-47016-0.
MLA-Zitierstil (9. Ausg.)Zhan, Naijun, et al. Formal Verification of Simulink/stateflow Diagrams: A Deductive Approach. Springer, 2017. https://doi.org/10.1007/978-3-319-47016-0.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.