TY  - RPRT
TI  - Towards Verification of Operational Procedures Using Auto-Generated Diagnostic Trees
AU  - Kurtoglu, Tolga
AU  - Lutz, Robyn
AU  - Patterson-Hine, Ann
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100023446
ID  - 20100023446
ER  -