WANG PAUL T R

Air traffic analysis using a linear inequalities solver