Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed. Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. In Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, editors, NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings. pages 255-260, IEEE, 2010. [doi]
Abstract is missing.