%0 Conference Paper %1 rouached_coopis_2006 %A Rouached, M. %A Gaaloul, W. %A Aalst, W.M.P. van der %A Bhiri, S. %A Godart, C. %B On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006) %D 2006 %E Meersman, R. %E et al., Z. Tari %I Springer-Verlag, Berlin %K BPM collection imported %P 408--425 %T Web Service Mining and Verification of Properties: An approach based on Event Calculus (withdrawn due to plagiarism of first author) %V 4275

@inproceedings{rouached_coopis_2006, added-at = {2012-11-22T19:17:38.000+0100}, author = {Rouached, M. and Gaaloul, W. and Aalst, {W.M.P. van der} and Bhiri, S. and Godart, C.}, biburl = {https://www.bibsonomy.org/bibtex/28a177fc272a62df097f933e84b51fab9/wvdaalst}, booktitle = {{On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006)}}, editor = {Meersman, R. and et al., Z. Tari}, interhash = {7b7ca76fe835004516b627cc38216cd1}, intrahash = {8a177fc272a62df097f933e84b51fab9}, keywords = {BPM collection imported}, pages = {408--425}, publisher = {Springer-Verlag, Berlin}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-22T19:21:42.000+0100}, title = {{Web Service Mining and Verification of Properties: An approach based on Event Calculus (withdrawn due to plagiarism of first author)}}, volume = 4275, year = 2006 }