Design and verification of the aircraft conflict prediction and resolution algorithms
Arnab Nilim
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M01/18
2001
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/ERL-01-18.pdf
BibTeX citation:
@mastersthesis{Nilim:M01/18,
Author= {Nilim, Arnab},
Title= {Design and verification of the aircraft conflict prediction and resolution algorithms},
School= {EECS Department, University of California, Berkeley},
Year= {2001},
Month= {Jan},
Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9581.html},
Number= {UCB/ERL M01/18},
}
EndNote citation:
%0 Thesis %A Nilim, Arnab %T Design and verification of the aircraft conflict prediction and resolution algorithms %I EECS Department, University of California, Berkeley %D 2001 %@ UCB/ERL M01/18 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9581.html %F Nilim:M01/18