Fig. 6From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceExecution times versus the input alphabet sizeBack to article page