BibTeX Export

@inproceedings{Authenticus:P-00P-262,
	title = {{Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs}},
	author = {M Ferreira and N Moreira and R Reis},
	booktitle = {Descriptional Complexity of Formal Systems, Dcfs 2018},
	doi = {10.1007/978-3-319-94631-3_8},
	pages = {88-100},
	publisher = {Springer International Publishing Ag},
	type = {Proceedings Paper},
	volume = {10952},
	year = {2018}
}