BibTeX record conf/bpsc/MonakovaKLMS09

• > Home > conf/bpsc/MonakovaKLMS09

@inproceedings{DBLP:conf/bpsc/MonakovaKLMS09,
  author       = {Ganna Monakova and
                  Oliver Kopp and
                  Frank Leymann and
                  Simon Moser and
                  Klaus Sch{\"{a}}fers},
  editor       = {Witold Abramowicz and
                  Leszek A. Maciaszek and
                  Ryszard Kowalczyk and
                  Andreas Speck},
  title        = {Verifying Business Rules Using an {SMT} Solver for {BPEL} Processes},
  booktitle    = {Business Process, Services Computing and Intelligent Service Management,
                  Leipzig, Germany, March 23-25, 2009},
  series       = {{LNI}},
  volume       = {{P-147}},
  pages        = {81--94},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/23245},
  timestamp    = {Tue, 04 Jul 2023 17:44:45 +0200},
  biburl       = {https://dblp.org/rec/conf/bpsc/MonakovaKLMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}