Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz. Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. In Stephen E. Chick, Paul J. Sanchez, David M. Ferrin, Douglas J. Morrice, editors, Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003. pages 906-914, ACM, 2003. [doi]
Abstract is missing.