BibTeX Export

@inproceedings{Authenticus:P-008-M04,
	title = {{Formal Power Series and the Invertibility of Finite Linear Transducers}},
	author = {I Amorim and A Machiavelo and R Reis},
	booktitle = {Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings},
	pages = {33-48},
	publisher = {Österreichische Computer Gesellschaft},
	type = {Proceedings Paper},
	volume = {290},
	year = {2012}
}