Naik, K.Sarıkaya, B.2016-02-082016-02-0819920740-7459http://hdl.handle.net/11693/26116[No abstract available]EnglishFinite automataNetwork protocolsState space methodsCommunication protocols testingConformance testingLotos specificationsOpen systems interconnectionsComputer networksTesting communication protocolsArticle10.1109/52.108777