Random generation of DFAs

From MaRDI portal
Publication:1763712