BibTeX record conf/vveis/MendozaCP10

download as .bib file

@inproceedings{DBLP:conf/vveis/MendozaCP10,
  author       = {Luis Eduardo Mendoza and
                  Manuel I. Capel and
                  Mar{\'{\i}}a A. P{\'{e}}rez},
  editor       = {Juan Garbajosa Sope{\~{n}}a and
                  Manuel I. Capel Tu{\~{n}}{\'{o}}n},
  title        = {Compositional Verification of Business Processes by Model-Checking},
  booktitle    = {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},
  pages        = {60--69},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Tue, 04 Jan 2011 12:14:12 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/MendozaCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics