Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman Vaculín. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In Mario Bravetti, Tevfik Bultan, editors, Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Volume 6551 of Lecture Notes in Computer Science, pages 1-24, Springer, 2010. [doi]
@inproceedings{HullDFGHHLMNSV10,
title = {Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles},
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ín},
year = {2010},
doi = {10.1007/978-3-642-19589-1_1},
url = {http://dx.doi.org/10.1007/978-3-642-19589-1_1},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/HullDFGHHLMNSV10},
cites = {0},
citedby = {0},
pages = {1-24},
booktitle = {Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers},
editor = {Mario Bravetti and Tevfik Bultan},
volume = {6551},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-19588-4},
}