External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Equivalence Checking of Nondeterministic Finite Automata

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]

Authors

Chen Fu

This author has not been identified. Look up 'Chen Fu' in Google

Yuxin Deng

This author has not been identified. Look up 'Yuxin Deng' in Google

David N. Jansen

This author has not been identified. Look up 'David N. Jansen' in Google

Lijun Zhang 0001

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang 0001' in Google
runs on