%0 Journal Article %1 journals/tc/Hierons13 %A Hierons, Robert M. %D 2013 %J IEEE Trans. Computers %K dblp %N 8 %P 1673-1683 %T Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces. %U http://dblp.uni-trier.de/db/journals/tc/tc62.html#Hierons13 %V 62

@article{journals/tc/Hierons13, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hierons, Robert M.}, biburl = {https://www.bibsonomy.org/bibtex/2946d1313830334369dc0a12dbd460671/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2012.252}, interhash = {21a72527094735a6a0db26c46a7e8e76}, intrahash = {946d1313830334369dc0a12dbd460671}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 8, pages = {1673-1683}, timestamp = {2020-09-09T12:23:05.000+0200}, title = {Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc62.html#Hierons13}, volume = 62, year = 2013 }