×

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

避免厄运:在Petri网中找到悬崖边配置。 (英语) Zbl 07802079号

Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370178-193(2022)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

从加性花到加性自动机网络。 (英语) Zbl 07607374号

Adamatzky,Andrew(编辑),自动机与复杂性。埃里克·戈尔斯70岁生日礼物。查姆:斯普林格。新兴复杂性。计算。42, 323-343 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

传记参考