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
BibTeX citation:
@mastersthesis{Nilim:M01/18,
Author = {Arnab Nilim},
Title = {Design and verification of the aircraft conflict prediction and resolution algorithms},
School = {EECS Department, University of California, Berkeley},
Year = {2001},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2001/9581.html %F Nilim:M01/18