Ahmadi, M., Valmorbida, G., & Papachristodoulou, A. (2017). Safety verification for distributed parameter systems using barrier functionals. Elsevier.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Ahmadi, M., G. Valmorbida, و A. Papachristodoulou. Safety Verification for Distributed Parameter Systems Using Barrier Functionals. Elsevier, 2017.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Ahmadi, M., et al. Safety Verification for Distributed Parameter Systems Using Barrier Functionals. Elsevier, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.