BibTeX Export

@inproceedings{Authenticus:P-00N-ZSK,
	title = {{Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels}},
	author = {S Konstantinidis and N Moreira and R Reis and J Young},
	booktitle = {Implementation and Application of Automata, Ciaa 2018},
	doi = {10.1007/978-3-319-94812-6_2},
	pages = {4-27},
	publisher = {Springer International Publishing Ag},
	type = {Proceedings Paper},
	volume = {10977},
	year = {2018}
}