SilvaP03'

BibTeX

@inproceedings{DBLP:conf/nddl/SilvaP03,
  author    = {Leandro Dias da Silva and
               Angelo Perkusich},
  title     = {Formal Verification of Component-Based Software Systems},
  booktitle = {NDDL/VVEIS},
  year      = {2003},
  pages     = {113-124},
  crossref  = {DBLP:conf/nddl/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nddl/2003,
  editor    = {Pedro T. Isa\'{\i}as and
               Florence Sedes and
               Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {New Technologies for Information Systems, Proceedings of
               the 3rd International Workshop on New Developments in Digital
               Libraries, NDDL 2003, and the 1st International Workshop
               on Validation and Verification of Software for Enterprise
               Information Systems, VVEIS 2003, In conjunction with ICEIS
               2003, Angers, France, April 2003},
  booktitle = {NDDL/VVEIS},
  publisher = {ICEIS Press},
  year      = {2003},
  isbn      = {972-98816-2-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}