Formal Verification and Synthesis for an Air Traffic Management System
Análise, Verificação, e Síntese de Segmentos de Via de uma Malha Metroviária
IC Technical Reports 1999
IC Technical Reports 2000
Arnaldo Vieira Moura
Adilson Luiz Bonifácio
Jorge Rady de Almeida Jr.