%0 Conference Paper %1 wil-WSFM-BPM-ws-2007-lncs2008 %A Aalst, W.M.P. van der %A Lohmann, N. %A Massuthe, P. %A Stahl, C. %A Wolf, K. %B Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007) %D 2008 %E Dumas, M. %E Heckel, H. %I Springer-Verlag, Berlin %K BPM collection imported %P 139--153 %T From Public Views to Private Views: Correctness-by-Design for Services %V 4937

@inproceedings{wil-WSFM-BPM-ws-2007-lncs2008, added-at = {2012-11-22T19:17:38.000+0100}, author = {Aalst, {W.M.P. van der} and Lohmann, N. and Massuthe, P. and Stahl, C. and Wolf, K.}, biburl = {https://www.bibsonomy.org/bibtex/2923b708c347148e545f5c09b2594a9a8/wvdaalst}, booktitle = {Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007)}, editor = {Dumas, M. and Heckel, H.}, interhash = {0e8d32e2e2f3b7f90757e06d288e3d69}, intrahash = {923b708c347148e545f5c09b2594a9a8}, keywords = {BPM collection imported}, pages = {139--153}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:21:48.000+0100}, title = {{From Public Views to Private Views: Correctness-by-Design for Services}}, volume = 4937, year = 2008 }