@mastersthesis{mastersthesis44dc5be6,
title   = {Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas},
author = {Vismari, Lúcio Flávio and Camargo Júnior, João Batista},
year = {2007},
school = {Universidade de São Paulo}
}