Cita APA (7a ed.)

Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.

Cita Chicago Style (17a ed.)

Luca, F., J. Ouaknine, y J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.

Cita MLA (9a ed.)

Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.

Precaución: Estas citas no son 100% exactas.