## A. N. Trahtman

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

CIAA, 1999.

@inproceedings{WIA-1999-Trahtman, author = "A. N. Trahtman", booktitle = "{Revised Papers of the Fourth International Workshop on Implementing Automata}", doi = "10.1007/3-540-45526-4_15", isbn = "3-540-42812-7", pages = "164--173", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata}", volume = 2214, year = 1999, }