APA (7th ed.) Citation

Peña, J., Rouff, C. A., Hinchey, M., & Ruiz-Cortés, A. (2011). Modeling NASA swarm-based systems: Using agent-oriented software engineering and formal methods. Software and systems modeling, 10(1), 55-62. https://doi.org/10.1007/s10270-009-0135-2

Chicago Style (17th ed.) Citation

Peña, Joaquin, Christopher A. Rouff, Mike Hinchey, and Antonio Ruiz-Cortés. "Modeling NASA Swarm-based Systems: Using Agent-oriented Software Engineering and Formal Methods." Software and Systems Modeling 10, no. 1 (2011): 55-62. https://doi.org/10.1007/s10270-009-0135-2.

MLA (9th ed.) Citation

Peña, Joaquin, et al. "Modeling NASA Swarm-based Systems: Using Agent-oriented Software Engineering and Formal Methods." Software and Systems Modeling, vol. 10, no. 1, 2011, pp. 55-62, https://doi.org/10.1007/s10270-009-0135-2.