Figure 7From: A verification strategy for web services composition using enhanced stacked automata model Dead transition algorithm. Back to article page