Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order
- A. N. Trahtman
Research output: Contribution to journal › Article › peer-review
2
Scopus
citations