Ali, S. S. (2015). Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Ali, Siti Shafinaz. Verification of Correctness Properties for Aggregation Behavior of Swarm Robotics System Using Spin Model Checker / Siti Shafinaz Ali. 2015.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Ali, Siti Shafinaz. Verification of Correctness Properties for Aggregation Behavior of Swarm Robotics System Using Spin Model Checker / Siti Shafinaz Ali. 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.