埃马努伊尔·克拉萨纳基斯;安德烈亚斯·西梅尼迪斯 定义可行为化的关系,以便在半自动程序合成中进行推理。 (英语) 兹比尔1528.68081 J.日志。阿尔盖布。方法计划。 123,文章ID 100714,29 p.(2021).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Krasanakis}和\textit{A.Symeonidis},J.Log。阿尔盖布。方法计划。123,文章ID 100714,29 p.(2021;Zbl 1528.68081) 全文: 内政部
马吕斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 检查基于参数化组件的系统的死锁自由度。 (英语) Zbl 1455.68102号 J.日志。阿尔盖布。方法计划。 119,文章ID 100621,23 p.(2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100621,23 p.(2021;Zbl 1455.68102) 全文: 内政部 arXiv公司