1. Bertoli, P., Cimatti, A., Pistore, M., & Traverso, P. (2003). A Framework for Planning with Extended Goals under Partial Observability. American Association for Artificial Intelligence, 215–224.
2. Verification of Web Services Modeled as Finite State Machines
3. A Novel Approach for Verifying Web Services Composition Using Muller Transition Algorithm.;E.Danapaquiame;International Conference on Recent Trends in Information Processing & Computing,2012
4. Corroboration Strategy For Web Service Choreography Using Revise Buchi Automata. International Journal of u- and e- Service;N.Danapaquiame;Science and Technology,2013
5. A novel verification model for web services manoeuvring using hybrid automata