文献
J-GLOBAL ID:200902163349126182
整理番号:93A0320087
A Method for Specifying and Validating Communication Protocols in LOTOS.
著者 (2件):
CARRASCO F J
(Telefonica Investigacion y Desarrollo, Madrid, ESP)
,
GIL J J
(Telefonica Investigacion y Desarrollo, Madrid, ESP)
資料名:
IFIP Transactions C: Communication Systems
(IFIP Transactions C: Communication Systems)
巻:
10
ページ:
247-262
発行年:
1993年
JST資料番号:
W0459A
ISSN:
0926-549X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)