BibTeX record conf/sera/Ait-SadouneA10

• > Home > conf/sera/Ait-SadouneA10

@inproceedings{DBLP:conf/sera/Ait-SadouneA10,
  author       = {Idir A{\"{\i}}t{-}Sadoune and
                  Yamine A{\"{\i}}t Ameur},
  editor       = {Roger Y. Lee and
                  Olga Ormandjieva and
                  Alain Abran and
                  Constantinos Constantinides},
  title        = {Stepwise Design of {BPEL} Web Services Compositions: An Event{\_}B
                  Refinement Based Approach},
  booktitle    = {Software Engineering Research, Management and Applications 2010 [selected
                  papers from the 8th {ACIS} International Conference on Software Engineering
                  Research, Management and Applications, {SERA} 2010, Montreal, Canada,
                  May 24-26, 2010]},
  series       = {Studies in Computational Intelligence},
  volume       = {296},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13273-5\_4},
  doi          = {10.1007/978-3-642-13273-5\_4},
  timestamp    = {Fri, 19 May 2017 01:26:31 +0200},
  biburl       = {https://dblp.org/rec/conf/sera/Ait-SadouneA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}