Login / Signup

A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.

Sam M. KimRobert McNaughtonRobert McCloskey
Published in: IEEE Trans. Computers (1991)
Keyphrases