Figure 2From: A verification strategy for web services composition using enhanced stacked automata model Deterministic finite automata. Back to article page