×

找到4个文档(结果1-4)

验证\(\mu\)CRL中的滑动窗口协议。 (英语) Zbl 1108.68383号

Rattray,Charles(编辑)等人,代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议,AMAST 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22381-9/pbk)。计算机科学讲义3116,148-163(2004)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用部分汇流的状态空间约简。 (英语) Zbl 0996.68122号

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 383-393 (2000).
MSC公司:68问题85 64岁以下
PDF格式BibTeX公司 XML格式引用

等式二元决策图。 (英语) Zbl 0988.68590号

Parigot,Michel(编辑)等人,《编程逻辑和自动推理》。2000年11月6日至10日,第七届国际会议,LPAR2000,法国留尼旺岛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1955, 161-178 (2000).
MSC公司:68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件