TY  - RPRT
TI  - Experience Using Formal Methods for Specifying a Multi-Agent System
AU  - Rouff, Christopher
AU  - Rash, James
AU  - Hinchey, Michael
AU  - Szczur, Martha R.
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000091040
ID  - 20000091040
ER  -