@Inproceedings{EPTCS3.4, author = {Almeida, Marco and Moreira, Nelma and Reis, Rog\'erio}, year = {2009}, title = {Testing the Equivalence of Regular Languages}, editor = {Dassow, J\"urgen and Pighizzini, Giovanni and Truthe, Bianca}, booktitle = {{\rm Proceedings Eleventh International Workshop on} Descriptional Complexity of Formal Systems, {\rm Magdeburg, Germany, July 6-9, 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {3}, publisher = {Open Publishing Association}, pages = {47-57}, doi = {10.4204/EPTCS.3.4}, }