Formal Veriﬁcation of an Optimal Air Traﬃc Conﬂict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1 - Ayala - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Veriﬁcation of an Optimal Air Traﬃc Conﬂict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1 Add to Reading List Document Date: 2012-07-11 14:20:08 Open Document File Size: 242,87 KB Share Result on Facebook

Formal Veriﬁcation of an Optimal Air Traﬃc Conﬂict Resolution and Recovery Algorithm Andr´e L. Galdino1, , C´esar Mu˜ noz2 , and Mauricio Ayala-Rinc´ on1, 1Add to Reading List