@article{article, title = {{Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Hierons RM}}, doi = {{10.1109/tc.2012.252}}, volume = {{62}}, journal = {{IEEE Transactions on Computers}}, issue = {{8}}, pages = {{1673-1683}}, note = {{Accessed on 2025/05/18}}}