%0 Conference Paper %1 conf/swis/RouffHPC07 %A Rouff, Christopher A. %A Hinchey, Michael G. %A Peña, Joaquín %A Cortés, Antonio Ruiz %B SIS %D 2007 %I IEEE %K dblp %P 348-355 %T Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. %U http://dblp.uni-trier.de/db/conf/swis/swis2007.html#RouffHPC07 %@ 1-4244-0708-7

@inproceedings{conf/swis/RouffHPC07, added-at = {2019-10-19T00:00:00.000+0200}, author = {Rouff, Christopher A. and Hinchey, Michael G. and Peña, Joaquín and Cortés, Antonio Ruiz}, biburl = {https://www.bibsonomy.org/bibtex/2f262323f013429584aeea87a8e57e9ce/dblp}, booktitle = {SIS}, crossref = {conf/swis/2007}, ee = {https://doi.org/10.1109/SIS.2007.367958}, interhash = {1c2c0cc6114ec5c3d483e999e3048297}, intrahash = {f262323f013429584aeea87a8e57e9ce}, isbn = {1-4244-0708-7}, keywords = {dblp}, pages = {348-355}, publisher = {IEEE}, timestamp = {2019-10-22T14:48:17.000+0200}, title = {Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/swis/swis2007.html#RouffHPC07}, year = 2007 }