BibTeX Export

@inproceedings{Authenticus:P-008-KZK,
	title = {{Testing the Equivalence of Regular Languages}},
	author = {M Almeida and N Moreira and R Reis},
	booktitle = {Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009.},
	doi = {10.4204/EPTCS.3.4},
	pages = {47-57},
	publisher = {Open Publishing Association},
	type = {Proceedings Paper},
	volume = {3},
	year = {2009}
}