Hugo Barros

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis Enrique Zárate
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS (2007)