Synthesis of built-in test circuits for automata with memory

From MaRDI portal
Publication:2551317