Synchronizing finite automata with short reset words

From MaRDI portal
Publication:1008633