Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang 0001. On Equivalence Checking of Nondeterministic Finite Automata. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 216-231, Springer, 2017. [doi]
Abstract is missing.