BibTeX Export

@article{Authenticus:P-009-HRF,
	title = {{Incremental Dfa Minimisation}},
	author = {M Almeida and N Moreira and R Reis},
	doi = {10.1051/ita/2013045},
	journal = {Rairo-theoretical Informatics and Applications},
	number = {2},
	pages = {173-186},
	publisher = {Edp Sciences S A},
	type = {Article},
	volume = {48},
	year = {2014}
}