APA (7th ed.) Citation

Gainer, P., Dixon, C., & Hustadt, U. (2016, June 21). Probabilistic Model Checking of Ant-Based Positionless Swarming. Towards Autonomous Robotic Systems, 127-138. https://doi.org/10.1007/978-3-319-40379-3_13

Chicago Style (17th ed.) Citation

Gainer, Paul, Clare Dixon, and Ullrich Hustadt. "Probabilistic Model Checking of Ant-Based Positionless Swarming." Towards Autonomous Robotic Systems 21 Jun. 2016: 127-138. https://doi.org/10.1007/978-3-319-40379-3_13.

MLA (9th ed.) Citation

Gainer, Paul, et al. "Probabilistic Model Checking of Ant-Based Positionless Swarming." Towards Autonomous Robotic Systems, 21 Jun. 2016, pp. 127-138, https://doi.org/10.1007/978-3-319-40379-3_13.