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]
@inproceedings{FuDJ017,
title = {On Equivalence Checking of Nondeterministic Finite Automata},
author = {Chen Fu and Yuxin Deng and David N. Jansen and Lijun Zhang 0001},
year = {2017},
doi = {10.1007/978-3-319-69483-2_13},
url = {https://doi.org/10.1007/978-3-319-69483-2_13},
researchr = {https://researchr.org/publication/FuDJ017},
cites = {0},
citedby = {0},
pages = {216-231},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings},
editor = {Kim Guldstrand Larsen and Oleg Sokolsky and Ji Wang},
volume = {10606},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-69483-2},
}