Login / Signup

An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata.

A. N. Trahtman
Published in: WIA (1999)
Keyphrases