×

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

用于资源使用控制的标称自动机。 (英语) Zbl 1297.68121号

Moreira,Nelma(编辑)等人,《自动机的实现和应用》。2012年7月17日至20日,第17届国际会议,CIAA 2012,葡萄牙波尔图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31605-0/pbk)。计算机科学课堂讲稿7381125-137(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有名称创建和复制的Petri网受限模型的可判定性结果。 (英语) Zbl 1242.68185号

Franceschinis,Giuliana(编辑)等人,《Petri网的应用和理论》。第30届国际会议,PETRI NETS 2009,巴黎,法国,2009年6月22-26日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02423-8/pbk)。计算机科学讲座笔记560663-82(2009)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用隐藏标签操作树。 (英语) Zbl 1277.68116号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172177-201(2007)。
MSC公司:68问题55 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段