Hugo Barros

According to our database, Hugo Barros authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.

Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007