Alessio Lomuscio, Monika Solanki. Towards an Agent Based Approach for Verification of OWL-S Process Models. In Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Paslaru Bontas Simperl, editors, The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings. Volume 5554 of Lecture Notes in Computer Science, pages 578-592, Springer, 2009. [doi]
Abstract is missing.