%0 Conference Paper %1 wendy-PN2010 %A Lohmann, N. %A Weinberg, D. %B Applications and Theory of Petri Nets 2010 %D 2010 %E Lilius, J. %E Penczek, W. %I Springer-Verlag, Berlin %K BPM collection imported %P 279--307 %T Wendy: A Tool to Synthesize Partners for Services %V 6128

@inproceedings{wendy-PN2010, added-at = {2012-11-22T19:17:38.000+0100}, author = {Lohmann, N. and Weinberg, D.}, biburl = {https://www.bibsonomy.org/bibtex/24e31bafd324e3ac0b93b09ad8a14b34f/wvdaalst}, booktitle = {{Applications and Theory of Petri Nets 2010}}, editor = {Lilius, J. and Penczek, W.}, interhash = {1bfcf2ed1e7513b7aef9cdac473620db}, intrahash = {4e31bafd324e3ac0b93b09ad8a14b34f}, keywords = {BPM collection imported}, pages = {279--307}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:21:55.000+0100}, title = {{Wendy: A Tool to Synthesize Partners for Services}}, volume = 6128, year = 2010 }