%0 Conference Paper %1 conf/icsoc/DuanBLL04 %A Duan, Ziyang %A Bernstein, Arthur J. %A Lewis, Philip M. %A Lu, Shiyong %B ICSOC %D 2004 %E Aiello, Marco %E Aoyama, Mikio %E Curbera, Francisco %E Papazoglou, Mike P. %I ACM %K dblp %P 232-241 %T A model for abstract process specification, verification and composition. %U http://dblp.uni-trier.de/db/conf/icsoc/icsoc2004.html#DuanBLL04 %@ 1-58113-871-7

@inproceedings{conf/icsoc/DuanBLL04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Duan, Ziyang and Bernstein, Arthur J. and Lewis, Philip M. and Lu, Shiyong}, biburl = {https://www.bibsonomy.org/bibtex/21a13fb6e13f42185de6b2e29ce3c3c8f/dblp}, booktitle = {ICSOC}, crossref = {conf/icsoc/2004}, editor = {Aiello, Marco and Aoyama, Mikio and Curbera, Francisco and Papazoglou, Mike P.}, ee = {https://doi.org/10.1145/1035167.1035201}, interhash = {a99cc3c624b11bb00192eaa5513b59d6}, intrahash = {1a13fb6e13f42185de6b2e29ce3c3c8f}, isbn = {1-58113-871-7}, keywords = {dblp}, pages = {232-241}, publisher = {ACM}, timestamp = {2018-11-07T16:25:32.000+0100}, title = {A model for abstract process specification, verification and composition.}, url = {http://dblp.uni-trier.de/db/conf/icsoc/icsoc2004.html#DuanBLL04}, year = 2004 }