Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.
Cytowanie według stylu Chicago (wyd. 17)Luca, F., J. Ouaknine, i J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Cytowanie według stylu MLA (wyd. 9)Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..