Παραπομπή APA

Zhan, N., Wang, S., & Zhao, H. (2020). Formal Verification of Simulink/Stateflow Diagrams. Springer International Publishing.

Παραπομπή Chicago Style

Zhan, Naijun, Shuling Wang, και Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams. Springer International Publishing, 2020.

Παραπομπή MLA

Zhan, Naijun, Shuling Wang, και Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams. Springer International Publishing, 2020.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.