Publication: IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B
No. 10 ;
pp. 1015-1023
Type of Manuscript:
Special Section PAPER (Special Issue on Communication Software Technologies)
Category:
Keyword:
LOTOS, service definition, protocol specification, simulator, correctness, |