BibTeX Export

@proceedings{Authenticus:P-008-KZD,
	title = {{Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings}},
	author = {N Moreira and R Reis},
	doi = {10.1007/978-3-642-31606-7},
	journal = {Ciaa},
	publisher = {Springer},
	type = {Proceedings},
	volume = {7381},
	year = {2012}
}