Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.

Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, Csar A. Muoz

Browse the full WSC paper archive.