Login / Signup

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.

Robert M. HieronsUraz Cengiz Türker
Published in: ACM Trans. Softw. Eng. Methodol. (2017)
Keyphrases