BibTeX Export

@article{Authenticus:P-003-XR3,
	title = {{Description and analysis of a bottom-up DFA minimization algorithm}},
	author = {J Almeida and M Zeitoun},
	doi = {10.1016/j.ipl.2008.01.003},
	journal = {Information Processing Letters},
	number = {2},
	pages = {52-59},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {107},
	year = {2008}
}