APA (7th ed.) Citation

Ali, S. S. (2015). Verification correctness properties for aggregation behavior of swarm robotics system using SPIN model checker / Siti Shafinaz Ali.

Chicago Style (17th ed.) Citation

Ali, Siti Shafinaz. Verification Correctness Properties for Aggregation Behavior of Swarm Robotics System Using SPIN Model Checker / Siti Shafinaz Ali. 2015.

MLA (9th ed.) Citation

Ali, Siti Shafinaz. Verification 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.