HullDFGHHLMNSV10'

@inproceedings{DBLP:conf/wsfm/HullDFGHHLMNSV10,
  author    = {Richard Hull and
               Elio Damaggio and
               Fabiana Fournier and
               Manmohan Gupta and
               Fenno Terry Heath and
               Stacy Hobson and
               Mark H. Linehan and
               Sridhar Maradugu and
               Anil Nigam and
               Piyawadee Sukaviriya and
               Roman Vacul\'{\i}n},
  title     = {Introducing the Guard-Stage-Milestone Approach for Specifying
               Business Entity Lifecycles},
  booktitle = {WS-FM},
  year      = {2010},
  pages     = {1-24},
  ee        = {http://dx.doi.org/10.1007/978-3-642-19589-1_1},
  crossref  = {DBLP:conf/wsfm/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wsfm/2010,
  editor    = {Mario Bravetti and
               Tevfik Bultan},
  title     = {Web Services and Formal Methods - 7th International Workshop,
               WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised
               Selected Papers},
  booktitle = {WS-FM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6551},
  year      = {2011},
  isbn      = {978-3-642-19588-4},
  ee        = {http://dx.doi.org/10.1007/978-3-642-19589-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}