Luca, F., Ouaknine, J., & Worrell, J. (2022). Algebraic model checking for discrete linear dynamical systems. Springer Nature.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Luca, F., J. Ouaknine, و J. Worrell. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Luca, F., et al. Algebraic Model Checking for Discrete Linear Dynamical Systems. Springer Nature, 2022.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.