@misc{indiciaeb2d3f4204061, title = {Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks}, author = {Vlad Slavici and Daniel Kunkle and Gene Cooperman and Stephen Linton}, year = {2011}, url = {https://arxiv.org/abs/1103.5736}, note = {Source identifier: 1103.5736} }