TY  - RPRT
TI  - Formal Verification of a Conflict Resolution and Recovery Algorithm
AU  - Maddalon, Jeffrey
AU  - Butler, Ricky
AU  - Geser, Alfons
AU  - Munoz, Cesar
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040065775
ID  - 20040065775
ER  -