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  - 2024/12/22

ER  -