彼得·扬查尔;乘务长,大卫 Petri网的结构活性是ExpSpace(扩展空间)-难以判断。 (英语) Zbl 1425.68296号 学报信息。 56,第6号,537-552(2019).MSC公司:68问题85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}和\textit{D.Purser},《学报》第56期,第6期,第537--552页(2019年;Zbl 1425.68296) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68136号 学报信息。 53,第4期,357-385(2016).MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部 链接