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]
@inproceedings{ButlerMGM03, title = {Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery}, author = {Ricky W. Butler and Jeffrey Maddalon and Alfons Geser and César Muñoz}, year = {2003}, doi = {10.1145/1030818.1030937}, url = {http://doi.acm.org/10.1145/1030818.1030937}, tags = {analysis}, researchr = {https://researchr.org/publication/ButlerMGM03}, cites = {0}, citedby = {0}, pages = {906-914}, booktitle = {Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003}, editor = {Stephen E. Chick and Paul J. Sanchez and David M. Ferrin and Douglas J. Morrice}, publisher = {ACM}, isbn = {0-7803-8132-7}, }