Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.
Lua i Stíl Chicago (17ú heag.)Luca, F., J. Ouaknine, agus J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Lua MLA (9ú heag.)Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.