S. Campos

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94

	2009
1		S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94

Coauthor Index

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	J. Neves	[1]
2	Mark A. J. Song (Mark Alan Junho Song)	[1]
3	Luis E. Zárate	[1]