On Equivalence Checking of Nondeterministic Finite Automata

DOI10.1007/978-3-319-69483-2_13zbMath1498.68136OpenAlexW2766070042MaRDI QIDQ5045387

Chen Fu, Yu-xin Deng, David N. Jansen, Li-jun Zhang

Publication date: 4 November 2022

Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69483-2_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: On Equivalence Checking of Nondeterministic Finite Automata