Neves, J. C. V., Song, M. A. J., & 2009-03-27. (2009). Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade.
Referência de acordo com a norma ChicagoNeves, Júlio César Vale, Mark Alan Junho Song, e 2009-03-27. Algoritmo Distribuído Para Exploração De Cláusulas Com Bounded Model Checking Através De Uma Busca Em Profundidade. 2009.
Referência de acordo com a norma MLANeves, Júlio César Vale, Mark Alan Junho Song, e 2009-03-27. Algoritmo Distribuído Para Exploração De Cláusulas Com Bounded Model Checking Através De Uma Busca Em Profundidade. 2009.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.