CAP Project

[FuDJ017] On Equivalence Checking of Nondeterministic Finite Automata Fu, C.; Deng, Y.; Jansen, D. N. and Zhang, L. In Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pages 216-231, Springer, Lecture Notes in Computer Science 10606, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-69483-2_13