克里斯托夫·Löding;马克斯·菲利普·斯塔科恩 关于在不关心单词存在的情况下确定性自动机的最小化和学习。 (英语) Zbl 07737447号 芬丹。通知。 189,第1号,69-91(2022).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{M.P.Stachon},Fundam。通知。189,编号1,69--91(2022;Zbl 07737447) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;克里斯托夫·韦尔泽尔 计算参数化Petri网的参数化不变量。 (英语) Zbl 07609826号 芬丹。通知。 187,编号2-4,197-243(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,Fundam。通知。187,编号2--4,197-243(2022;Zbl 07609826) 全文: 内政部
雷蒙德·魔鬼队;特雷杜普,罗尼 具有受限位置环境的纯和不纯Petri网的合成:复杂性问题。 (英语) Zbl 07609824号 芬丹。通知。 187,编号2-4,139-165(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{R.Tredup},Fundam。通知。187,编号2--4,139-165(2022;Zbl 07609824) 全文: 内政部 arXiv公司
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在进程代数设置中使用Hoare逻辑。 (英语) Zbl 1519.68156号 芬丹。通知。 179,编号4,321-344(2021).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},Fundam。通知。179,编号4,321--344(2021;Zbl 1519.68156) 全文: 内政部 arXiv公司
安蒂·瓦尔马里;沃尔特·福格勒 固执的设定、冻结的动作和公平的测试。 (英语) Zbl 1478.68182号 芬丹。通知。 178,编号1-2,139-172(2021).MSC公司:60年第68季度 2007年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{W.Vogler},Fundam。通知。178,编号1-2139-172(2021;兹bl 1478.68182) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 目标导向Petri网合成。 (英语) Zbl 1497.68327号 芬丹。通知。 175,编号1-4,97-122(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,Fundam。通知。175,编号1--4,97-122(2020;Zbl 1497.68327) 全文: 内政部