APA (7th ed.) Citation

Rouff, C., Hinchey, M., Pena, J., & Ruiz-Cortes, A. (2007, April). Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. 2007 IEEE Swarm Intelligence Symposium : Honolulu, HI, 1-5 April 2007, 348-355. https://doi.org/10.1109/SIS.2007.367958

Chicago Style (17th ed.) Citation

Rouff, C.A, M.G Hinchey, J. Pena, and A. Ruiz-Cortes. "Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems." 2007 IEEE Swarm Intelligence Symposium : Honolulu, HI, 1-5 April 2007 Apr. 2007: 348-355. https://doi.org/10.1109/SIS.2007.367958.

MLA (9th ed.) Citation

Rouff, C.A, et al. "Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems." 2007 IEEE Swarm Intelligence Symposium : Honolulu, HI, 1-5 April 2007, Apr. 2007, pp. 348-355, https://doi.org/10.1109/SIS.2007.367958.