Fig. 4From: Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduceThe derivation step of \(M/s_0\cap M/s_1\)Back to article page