Analyzing the Next Generation Airborne Collision Avoidance System.

Christian von Essen, Dimitra Giannakopoulou

Browse the full TACAS paper archive.