Figure 3From: A verification strategy for web services composition using enhanced stacked automata model Non-deterministic finite automata. Back to article page