Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. Requirements of an integrated formal method for intelligent swarms. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 125-133, ACM, 2005. [doi]
@inproceedings{HincheyRRT05,
title = {Requirements of an integrated formal method for intelligent swarms},
author = {Michael G. Hinchey and Christopher A. Rouff and James L. Rash and Walter Truszkowski},
year = {2005},
doi = {10.1145/1081180.1081196},
url = {https://doi.org/10.1145/1081180.1081196},
researchr = {https://researchr.org/publication/HincheyRRT05},
cites = {0},
citedby = {0},
pages = {125-133},
booktitle = {Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005},
editor = {Tiziana Margaria and Mieke Massink},
publisher = {ACM},
}