穆罕默德·赛义法·穆菲德;米其利，安德里亚;亚历山德罗·阿巴特;亚历山德罗·西马蒂 基于SMT的max-plus线性系统模型检验。 （英语） Zbl 07730624号 Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第22条，第20页（2021年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Mufid}等人，LIPIcs——莱布尼茨国际程序。通知。203，第22条，20 p.（2021；Zbl 07730624） 全文： 内政部
亚历山德罗·阿巴特;亚历山德罗·西马蒂;米其利，安德里亚;穆罕默德·赛义法·穆菲德 通过SMT求解计算最大值线性系统的瞬态。 （英语） Zbl 07317096号 Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 161-177 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛A.Abate｝等人，Lect。注释计算。科学。12288、161--177（2020；Zbl 07317096） 全文： 内政部 arXiv公司 链接