BibTeX record conf/ecweb/Arias-FisteusFK04

• > Home > conf/ecweb/Arias-FisteusFK04

@inproceedings{DBLP:conf/ecweb/Arias-FisteusFK04,
  author       = {Jes{\'{u}}s Arias{-}Fisteus and
                  Luis S{\'{a}}nchez Fern{\'{a}}ndez and
                  Carlos Delgado Kloos},
  editor       = {Kurt Bauknecht and
                  Martin Bichler and
                  Birgit Pr{\"{o}}ll},
  title        = {Formal Verification of {BPEL4WS} Business Collaborations},
  booktitle    = {E-Commerce and Web Technologies, 5th International Conference, EC-Web
                  2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3182},
  pages        = {76--85},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30077-9\_8},
  doi          = {10.1007/978-3-540-30077-9\_8},
  timestamp    = {Wed, 28 Oct 2020 14:53:39 +0100},
  biburl       = {https://dblp.org/rec/conf/ecweb/Arias-FisteusFK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}