BibTeX Export

@inproceedings{Authenticus:P-002-XJV,
	title = {{Partial Derivative Automata Formalized in Coq}},
	author = {JB Almeida and N Moreira and D Pereira and SM de Sousa},
	booktitle = {Implementation and Application of Automata},
	doi = {10.1007/978-3-642-18098-9_7},
	pages = {59-68},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {6482},
	year = {2011}
}