BibTeX Export

@inproceedings{Authenticus:P-002-XJT,
	title = {{Incremental DFA Minimisation}},
	author = {M Almeida and N Moreira and R Reis},
	booktitle = {Implementation and Application of Automata},
	doi = {10.1007/978-3-642-18098-9_5},
	pages = {39-48},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {6482},
	year = {2011}
}