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
January 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