Verificação e sintese de sistemas hibridos - Bonifácio, Adilson Luiz, 1974- (2000)
Orientador: Arnaldo Vieira Moura