Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops.

Published in: Data Knowl. Eng. (2015)

Keyphrases