Fig. 9From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceExecution times for different rangesBack to article page