BibTeX Export

@article{Authenticus:P-00G-6GF,
	title = {{Symbolic Manipulation of Code Properties}},
	author = {S Konstantinidis and C Meijer and N Moreira and R Reis},
	journal = {Journal of Automata, Languages and Combinatorics},
	number = {1-3},
	pages = {243-269},
	publisher = {Institut fur Informatik, Justus-Liebig-Universitat Giessen},
	type = {Article},
	volume = {23},
	year = {2018}
}