Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.