Deterministic synchronization of automata with bounded delay

From MaRDI portal
Publication:1127313