%0 Conference Paper %1 config-og-BPM10 %A Aalst, W.M.P. van der %A Lohmann, N. %A Rosa, M. La %A Xu, J. %B Business Process Management (BPM 2010) %D 2010 %E Hull, R. %E Mendling, J. %E Tai, S. %I Springer-Verlag, Berlin %K BPM collection imported %P 95--111 %T Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis %V 6336

@inproceedings{config-og-BPM10, added-at = {2012-11-22T19:17:38.000+0100}, author = {Aalst, {W.M.P. van der} and Lohmann, N. and Rosa, {M. La} and Xu, J.}, biburl = {https://www.bibsonomy.org/bibtex/29e2dc0ac1caf9471f4d7c61dc84a873a/wvdaalst}, booktitle = {Business Process Management (BPM 2010)}, editor = {Hull, R. and Mendling, J. and Tai, S.}, interhash = {5f3c7ade2ae4a3ad41b21229c1ac2e61}, intrahash = {9e2dc0ac1caf9471f4d7c61dc84a873a}, keywords = {BPM collection imported}, pages = {95--111}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:22:18.000+0100}, title = {{Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis}}, volume = 6336, year = 2010 }