Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón. Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. In Daniel Leivant, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Volume 4576 of Lecture Notes in Computer Science, pages 177-188, Springer, 2007. [doi]

This author has not been identified. Look up 'André Luiz Galdino' in GoogleThis author has not been identified. Look up 'César Muñoz' in GoogleThis author has not been identified. Look up 'Mauricio Ayala-Rincón' in Google

runs on WebDSL