Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Luca, F., J. Ouaknine, và J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.