文献
J-GLOBAL ID:200902127065350302
整理番号:93A0373368
簡単にできるプロトコル検証 チュートリアル
Protocol verification made simple: a tutorial.
著者 (1件):
GOUDA M G
(Univ. Texas at Austin, TX, USA)
資料名:
Computer Networks and ISDN Systems
(Computer Networks and ISDN Systems)
巻:
25
号:
9
ページ:
969-980
発行年:
1993年04月
JST資料番号:
A0360B
ISSN:
0169-7552
CODEN:
CNETDP
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)