×

找到2个文档(结果1–2)

确定有限安全网上的真正并发等价(初步报告)。 (英语) Zbl 1422.68170号

Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。勒克特。注释计算。科学。700, 519-531 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段