TY - JOUR T1 - Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces JO - IEEE Transactions on Computers PY - 2013/01/01 AU - Hierons RM ED - DO - DOI: 10.1109/tc.2012.252 PB - Institute of Electrical and Electronics Engineers (IEEE) VL - 62 IS - 8 SP - 1673 EP - 1683 Y2 - 2025/05/25 ER -