Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces
From MaRDI portal
Publication:5274492
DOI10.1109/TC.2012.252zbMath1365.68324MaRDI QIDQ5274492
Publication date: 12 July 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)