BibTeX Export

@inproceedings{Authenticus:P-009-K3K,
	title = {{On the Equivalence of Automata for KAT-expressions}},
	author = {S Broda and A Machiavelo and N Moreira and R Reis},
	booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
	doi = {10.1007/978-3-319-08019-2_8},
	pages = {73-83},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {8493},
	year = {2014}
}