BibTeX Export

@article{Authenticus:P-008-KZE,
	title = {{Testing the Equivalence of Regular Languages}},
	author = {M Almeida and N Moreira and R Reis},
	journal = {Journal of Automata, Languages and Combinatorics},
	number = {1/2},
	pages = {7-25},
	type = {Article},
	volume = {15},
	year = {2010}
}