Synthesis method for finite automata

From MaRDI portal
Publication:774317