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.
Citación estilo ChicagoNeves, Júlio César Vale, Mark Alan Junho Song, y 2009-03-27. Algoritmo Distribuído Para Exploração De Cláusulas Com Bounded Model Checking Através De Uma Busca Em Profundidade. 2009.
Cita MLANeves, Júlio César Vale, Mark Alan Junho Song, y 2009-03-27. Algoritmo Distribuído Para Exploração De Cláusulas Com Bounded Model Checking Através De Uma Busca Em Profundidade. 2009.
Precaución: Estas citas no son 100% exactas.