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

Sérgio Vale Aguiar Campos (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos: Formal Verification of Transactional Systems. WEBIST 2005: 194-197
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: Extending UML to Specify and Verify E-commerce Systems. SEKE 2003: 306-313
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice 2003: 419-425
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos: A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191

Selection of 6 from 35 records - Sérgio Vale Aguiar Campos has 42 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page