APA引文

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.) Citation

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％准确.