@mastersthesis{mastersthesisb4ee0c6d,
title   = {Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos},
author = {Oliveira, Ítalo Romani de and Cugnasca, Paulo Sérgio},
year = {2003},
school = {Universidade de São Paulo}
}