Publication: IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B
No. 10
pp. 998-1007
Type of Manuscript:
Special Section PAPER (Special Issue on Communication Software Technologies)
Category:
Keyword:
communications software, communication protocol, protocol verification, finite state machine, acyclic expansion algorithm, temporal logic, |
