TY  - RPRT
TI  - Lightweight simulation of air traffic control using simple temporal networks
AU  - Knight, Russell
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060042985
ID  - 20060042985
ER  -