APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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