Hardness of equivalence checking for composed finite-state systems

From MaRDI portal
Publication:1015390