发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Univ. Catholique de Louvain IEEE Second Symposium on Communications and Vehicular Technology in the Benelux - Louvain la Neuve, Belgium (2-3 Nov. 1994)] IEEE Second Symposium on Communications and Vehicular Technology in the Benelux - Automated verification of LAN protocols: a case study

[Univ. Catholique de Louvain IEEE Second Symposium on Communications and Vehicular Technology in the Benelux - Louvain la Neuve, Belgium (2-3 Nov. 1994)] IEEE Second Symposium on Communications and Vehicular Technology in the Benelux - Automated verification of LAN protocols: a case study

Voet, I.

作者Voet, I.
文件大小662.56KB
发表时间1994
DOI10.1109/scvt.1994.574155
页码133-140

← 返回【学霸图书馆】主页