Random generation of DFAs
scientific article; zbMATH DE number 2136572
scientific article