Publication

[FuDJZ17] On Equivalence Checking of Nondeterministic Finite Automata Fu, C.; Deng, Y.; Jansen, D. N. and Zhang, L. In SETTA, LNCS , 2017.
Downloads: bib