DBLP BibTeX Record 'conf/vveis/MendozaCP10'

@inproceedings{DBLP:conf/vveis/MendozaCP10,
  author    = {Luis Eduardo Mendoza and
               Manuel I. Capel and
               Mar\'{\i}a A. P{\'e}rez},
  title     = {Compositional Verification of Business Processes by Model-Checking},
  booktitle = {MSVVEIS},
  year      = {2010},
  pages     = {60-69},
  crossref  = {DBLP:conf/vveis/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/vveis/2010,
  editor    = {Juan Garbajosa Sope{\~n}a and
               Manuel I. Capel Tu{\~n}{\'o}n},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise
               Information Systems, Proceedings of the 8th International
               Workshop on Modelling, Simulation, Verification and Validation
               of Enterprise Information Systems, MSVVEIS 2010, In conjunction
               with ICEIS 2010, Funchal, Madeira, Portugal, June 2010},
  booktitle = {MSVVEIS},
  publisher = {SciTePress},
  year      = {2010},
  isbn      = {978-989-8425-12-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}