戴维·莫尼奥 关于过渡系统中多面体不变量存在性的可判定性。 (英语) Zbl 1421.68097号 Acta信息。 56,第4号,385-389(2019).MSC公司:60年第68季度 03天35分 52B55号 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},Acta Inf.56,No.4,385--389(2019;Zbl 1421.68097) 全文: 内政部 arXiv公司
Soumyadip Bandyopadhyay公司;迪班卡·萨尔卡;奇塔兰詹·曼达尔 使用静态和动态切点对程序的Petri网模型进行等价性检查。 (英语) 兹比尔1430.68159 Acta信息。 56,第4号,321-383(2019). 审核人:沃尔夫冈·雷西格(柏林) MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Bandyopadhyay}等人,《信息学报》56,第4期,321--383(2019年;Zbl 1430.68159) 全文: 内政部
芬德里奇、萨沙;杰拉尔德·吕特根 接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1421.68093号 Acta信息。 56,第4号,287-319(2019).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Fendrich}和\textit{G.Lüttgen},《学报》第56卷第4期,第287--319页(2019年;Zbl 1421.68093) 全文: 内政部