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