Ali, S. S. (2015). Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali.
Chicago Style (17th ed.) CitationAli, Siti Shafinaz. Verification of Correctness Properties for Aggregation Behavior of Swarm Robotics System Using Spin Model Checker / Siti Shafinaz Ali. 2015.
MLA (8th ed.) CitationAli, Siti Shafinaz. Verification of Correctness Properties for Aggregation Behavior of Swarm Robotics System Using Spin Model Checker / Siti Shafinaz Ali. 2015.
Warning: These citations may not always be 100% accurate.