SOPHIANN: Aprendizado de Processos Através da Extração de Conhecimento via Redes Neurais
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm
SBIE 2005.
SBIE 2005. - Artigos
T. Santos
S. Dias
B. Nogueira
B. Soares
H. Barros
A. Alvarez