BibTeX record conf/mompes/MongielloC06

• > Home > conf/mompes/MongielloC06

@inproceedings{DBLP:conf/mompes/MongielloC06,
  author       = {Marina Mongiello and
                  Daniela Castelluccia},
  editor       = {Ricardo Jorge Machado and
                  Jo{\~{a}}o M. Fernandes and
                  Matthias Riebisch and
                  Bernhard Sch{\"{a}}tz},
  title        = {Modelling and verification of {BPEL} business processes},
  booktitle    = {Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based
                  Development of Computrer-Based Systems and The Third International
                  Workshop on Model-based Methodologies for Pervasive and Embedded Software,
                  {MBD/MOMPES} 2006, Potsdam, Germany, March 30, 2006, Proceedings},
  pages        = {144--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MBD-MOMPES.2006.22},
  doi          = {10.1109/MBD-MOMPES.2006.22},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/mompes/MongielloC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}