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
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रZhan, Naijun, Shuling Wang, और Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-47016-0.
एमएलए (9वां संस्करण) प्रशस्ति पत्र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.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.