文献
J-GLOBAL ID:200902159892681563
整理番号:93A0868427
Specifying and Proving Communication Closedness in Protocols.
著者 (2件):
JANSSEN W
(Univ. Twente, Enschede, NLD)
,
ZWIERS J
(Univ. Twente, Enschede, NLD)
資料名:
IFIP Transactions C: Communication Systems
(IFIP Transactions C: Communication Systems)
巻:
16
ページ:
323-339
発行年:
1993年
JST資料番号:
W0459A
ISSN:
0926-549X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)