BibTeX record conf/wsfm/HullDFGHHLMNSV10

• > Home > conf/wsfm/HullDFGHHLMNSV10

@inproceedings{DBLP:conf/wsfm/HullDFGHHLMNSV10,
  author    = {Richard Hull and
               Elio Damaggio and
               Fabiana Fournier and
               Manmohan Gupta and
               Fenno F. Terry Heath III and
               Stacy Hobson and
               Mark H. Linehan and
               Sridhar Maradugu and
               Anil Nigam and
               Piyawadee Sukaviriya and
               Roman Vacul{\'{\i}}n},
  editor    = {Mario Bravetti and
               Tevfik Bultan},
  title     = {Introducing the Guard-Stage-Milestone Approach for Specifying Business
               Entity Lifecycles},
  booktitle = {Web Services and Formal Methods - 7th International Workshop, {WS-FM}
               2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6551},
  pages     = {1--24},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-19589-1\_1},
  doi       = {10.1007/978-3-642-19589-1\_1},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wsfm/HullDFGHHLMNSV10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}