Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..