Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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