BibTeX Export

@inproceedings{Authenticus:P-00K-M83,
	title = {{Implementation of Code Properties via Transducers}},
	author = {S Konstantinidis and C Meijer and N Moreira and R Reis},
	booktitle = {Implementation and Application of Automata},
	doi = {10.1007/978-3-319-40946-7_16},
	pages = {189-201},
	publisher = {Springer Int Publishing Ag},
	type = {Proceedings Paper},
	volume = {9705},
	year = {2016}
}