Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रLuca, F., J. Ouaknine, और J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
एमएलए (9वां संस्करण) प्रशस्ति पत्रLuca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.