皮埃尔·甘蒂;埃琳娜·古铁雷斯;佩德罗·瓦莱罗 基于同余的有限树自动机透视图。 (英语) Zbl 1522.68268号 芬丹。通知。 184,编号1,1-47(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人,Fundam。通知。184,编号1,1-47(2021;Zbl 1522.68268) 全文: DOI程序 arXiv公司
莱姆,迪迪埃;奥利维尔·鲁克斯。;夏洛特·塞纳 参数时间Petri网的代价问题。 (英语) Zbl 1522.68367号 芬丹。通知。 183,编号1-2,97-123(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}等人,Fundam。通知。183,编号1--2,97-123(2021;Zbl 1522.68367) 全文: DOI程序 arXiv公司
戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 研究Petri网中步骤的可逆性。 (英语) Zbl 1522.68359号 芬丹。通知。 183,编号1-2,67-96(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}等人,Fundam。通知。183,编号1--2,67-96(2021;Zbl 1522.68359) 全文: DOI程序 arXiv公司
埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦·弗里堡;杰瑞,贾维尔;戴维·莱森斯 反应性约束下发射器飞行控制系统的参数可调度性分析。 (英语) Zbl 1520.93344号 芬丹。通知。 182,第1期,31-67(2021).MSC公司:93C85号 60年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,31-67(2021;Zbl 1520.93344) 全文: DOI程序 arXiv公司
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英语) Zbl 1497.68235号 芬丹。通知。 177,编号3-4,297-329(2020).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Fundam。通知。177,编号3--4,297--329(2020;Zbl 1497.68235) 全文: DOI程序 arXiv公司
玛丽亚·阿尔普特;丹尼尔·帕尔多;艾丽西亚·维拉纽埃娃 符号框架(mathbb{K})中的抽象契约合成与验证。 (英语) Zbl 1497.68106号 芬丹。通知。 177,编号3-4,235-273(2020).MSC公司:68号30 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Fundam。通知。177,编号3--4,235-273(2020;Zbl 1497.68106) 全文: DOI程序
艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;弗兰克·德波尔;恩里克·马丁·马汀 从具有协作调度的参与者到Haskell的正式的、保留资源消耗的翻译。 (英语) Zbl 1497.68090号 芬丹。通知。 177,编号3-4,203-234(2020).MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Fundam。通知。177,编号3--4,203-234(2020;Zbl 1497.68090) 全文: DOI程序