Artigo
Revisado por pares
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
2000; redfundamentos SL; Volume: 7; Linguagem: Português
ISSN
2386-7027
AutoresAlberto Raposo, Adailton José Alves Da Cruz, Alessandro de Lima Bicho, Alfredo K. Kojima, Carlos A. M. dos Santos, Isla C. F. da Silva, Léo Pini Magalhães, Paulo C. P. de Andrade,
Tópico(s)Data Mining Algorithms and Applications
Referência(s)