Treffer: Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
Title:
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
Authors:
Source:
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 62(8):1673-1683 Aug, 2013
Database:
IEEE Xplore Digital Library