@dblp

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.

, and . NOTERE, page 255-260. IEEE, (2010)

Links and resources

Tags