TY  - RPRT
TI  - Formal Methods for Autonomic and Swarm-based Systems
AU  - Rouff, Christopher
AU  - Vanderbilt, Amy
AU  - Hinchey, Mike
AU  - Truszkowski, Walt
AU  - Rash, James
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040171187
ID  - 20040171187
ER  -