dblp.uni-trier.dewww.uni-trier.de

Luis Zarate

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
3EES. Campos, J. Neves, Luis Zarate, Mark Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94
2007
2EEHugo Barros, Sérgio Vale Aguiar Campos, Mark Song, Luis Zarate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
2005
1 Mark Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis Zarate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204

Coauthor Index

1Hugo Barros [2]
2S. Campos [3]
3Sérgio Vale Aguiar Campos [1] [2]
4J. Neves [3]
5Adriano M. Pereira [1]
6Mark Song [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)