MarÃa José Ibanez, Pedro Ãlvarez, Joaquin Ezpeleta. Symbolic Analysis of the Behavior of Semantic Business Processes. In Hamid R. Arabnia, Andy Marsh, editors, Proceedings of the 2009 International Conference on Semantic Web & Web Services, SWWS 2009, July 13-16, 2009, Las Vegas, Nevada, USA. pages 213-219, CSREA Press, 2009.