BibTeX Export

@inproceedings{Authenticus:P-009-PNQ,
	title = {{Counting Equivalent Linear Finite Transducers Using a Canonical Form}},
	author = {I Amorim and A Machiavelo and R Reis},
	booktitle = {Implementation and Application of Automata, Ciaa 2014},
	doi = {10.1007/978-3-319-08846-4_5},
	pages = {70-83},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {8587},
	year = {2014}
}