FosterUMKH05'

@inproceedings{DBLP:conf/IEEEscc/FosterUMKH05,
  author    = {Howard Foster and
               Sebasti{\'a}n Uchitel and
               Jeff Magee and
               Jeff Kramer and
               Michael Hu},
  title     = {Using a Rigorous Approach for Engineering Web Service Compositions:
               A Case Study},
  booktitle = {IEEE SCC},
  year      = {2005},
  pages     = {217-224},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SCC.2005.105},
  crossref  = {DBLP:conf/IEEEscc/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/IEEEscc/2005,
  title     = {2005 IEEE International Conference on Services Computing
               (SCC 2005), 11-15 July 2005, Orlando, FL, USA},
  booktitle = {IEEE SCC},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2408-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}