A.丹瑟尔。（编辑）;莱杜克，G。（编辑）;P.沃尔珀。（编辑） 协议规范、测试和验证，XIII。1993年5月25日至28日，比利时列日，第13届国际研讨会，IFIP TC6/WG6.1会议记录。 （英语） Zbl 0799.68016号 IFIP交易C：通信系统.C-16。阿姆斯特丹：北荷兰。xii，380 p.英国国防部。205.00; 117.25美元/立方英尺（1993年）。 本卷的文章不会单独编入索引。 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00时25分 杂项特定利益的会议记录 关键词：列日（比利时）;协议规范;验证;测试;诉讼 PDF格式BibTeX公司 XML格式引用 \textit{A.Danthore}（编辑）等，协议规范、测试和验证，XIII。1993年5月25日至28日，比利时列日，第13届国际研讨会，IFIP TC6/WG6.1会议记录。阿姆斯特丹：北荷兰（1993；Zbl 0799.68016）