马特奥·扎瓦特里;卡洛·库比;罗密欧·里兹;卢卡·维甘诺 STN与决策的一致性检查：无缝管理时间和访问控制约束。 （英语） Zbl 1518.68353号 Inf.计算。 280，文章ID 104637，19 p.（2021）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人，《信息计算》。280，文章ID 104637，19 p.（2021；Zbl 1518.68353） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 直到的历史。 （英语） Zbl 1345.03031号 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》262189-204（2010）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，《电子》。注释Theor。计算。科学。262189-204（2010；Zbl 1345.03031） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 从未来回来。 （英语） Zbl 1242.03046号 J.应用。非类别。日志。 20，第3期，241-277（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，J.Appl。非类别。日志。20，第3号，241--277（2010；Zbl 1242.03046） 全文： 内政部