@inproceedings{conf/sefm/RouffVHTR04,
title = {Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.},
author = {Christopher Rouff and Amy Vanderbilt and Michael G. Hinchey and Walt Truszkowski and James L. Rash},
booktitle = {SEFM},
crossref = {conf/sefm/2004},
pages = {24-33},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#RouffVHTR04},
year = {2004},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.34}, isbn = {0-7695-2222-X}, date = {2005-01-24},
keywords = {dblp }
}
::