Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

Matching, Euler tours and the Chinese postman

Jack Edmonds, Ellis L. Johnson · Mathematical Programming · 1973 · 987 citations

Natural Sciences, History, Combinatorics +1

Sequential abstract-state machines capture sequential algorithms

Yuri Gurevich · ACM Transactions on Computational Logic · 2000 · 463 citations · Full text

Computing, Computer Science, Algorithms +12

Sequential circuit verification using symbolic model checking

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 1990 · 413 citations · Full text

Computing, Computer Engineering, Computer Science +17