×

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

用于monic匹配的粘性DPO平行性。 (英语) 兹比尔1278.68214

Rensink,Arend(ed.)等人,并发和验证图形转换研讨会论文集(GT-VC 2006),德国波恩,2006年8月31日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》175,第4期,51-61(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri网外壳中图文法的并发性。 (英语) Zbl 1263.68065号

Bauderon,Michel(编辑)等人,GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记51,65-82(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

GETGRATS:科学成果总结(附注释书目)。 (英语) Zbl 1263.68069号

Bauderon,Michel(编辑)等人,GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》51,1-64(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段