An efficient algorithm for local testability problem of finite state automata

DOI10.1007/bfb0030882zbMath1527.68122OpenAlexW1485857076MaRDI QIDQ6085759

Could not fetch data.

Publication date: 12 December 2023

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0030882

Mathematics Subject Classification ID

Could not fetch data.