Fig. 11From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceSpeedup versus Number of TransitionsBack to article page