On Equivalence Checking of Nondeterministic Finite Automata.

Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang

Browse the full SETTA paper archive.