BibTeX Export

@inproceedings{Authenticus:P-00K-K0K,
	title = {{Automata Serialization for Manipulation and Drawing}},
	author = {M Ferreira and N Moreira and R Reis},
	booktitle = {5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia},
	doi = {10.4230/OASIcs.SLATE.2016.15},
	pages = {15:1-15:7},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
	type = {Proceedings Paper},
	volume = {51},
	year = {2016}
}