Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines

Khaled El-Fakih, Gerassimos D. Barlas, Mustafa Ali, Nina Yevtushenko. Parallel algorithms for reducing derivation time of distinguishing experiments for nondeterministic finite state machines. IJPEDS, 33(2):197-210, 2018. [doi]

Abstract

Abstract is missing.