BibTeX Export

@inproceedings{Authenticus:P-003-QHW,
	title = {{FAdo and GUItar: Tools for Automata Manipulation and Visualization}},
	author = {A Almeida and M Almeida and J Alves and N Moreira and R Reis},
	booktitle = {Implementation and Application of Automata, Proceedings},
	doi = {10.1007/978-3-642-02979-0_10},
	pages = {65-74},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {5642},
	year = {2009}
}