Gabriel Domingo Vilallonga

Informações coletadas do Lattes

Acadêmico

Seção coletada automaticamente pelo Escavador

Foi orientado por

Sérgio Vale Aguiar Campos

Probabilistic Verification of Ion Transport Systems; Início: 2015; Tese (Doutorado em Ciência da computação) - Universidad Nacional de San Luis; (Orientador);