BibTeX Export

@inproceedings{Authenticus:P-008-KZQ,
	title = {{On the representation of finite automata}},
	author = {R Reis and N Moreira and M Almeida},
	booktitle = {7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings},
	pages = {269-276},
	publisher = {Univ. degli Studi di Milano},
	type = {Proceedings Paper},
	year = {2005}
}