Exportar registro bibliográfico

Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos (2003)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020