Zdenek Sawa, Petr Jancar. Hardness of equivalence checking for composed finite-state systems. Acta Informatica, 46(3):169-191, 2009. [doi]
@article{SawaJ09, title = {Hardness of equivalence checking for composed finite-state systems}, author = {Zdenek Sawa and Petr Jancar}, year = {2009}, doi = {10.1007/s00236-008-0088-x}, url = {http://dx.doi.org/10.1007/s00236-008-0088-x}, researchr = {https://researchr.org/publication/SawaJ09}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {46}, number = {3}, pages = {169-191}, }