文献
J-GLOBAL ID:201002017902196571
整理番号:80A0024436
プロトコルの記述と検証
Specification and validation of protocols.
著者 (1件):
MERLIN P M
(Technion-Israel Inst. Technology)
資料名:
IEEE Trans Commun
(IRE Transactions on Communication Systems)
巻:
27
号:
11
ページ:
1671-1680
発行年:
1979年
JST資料番号:
C0239A
ISSN:
0090-6778
CODEN:
IECMBT
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)