亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 (英语) Zbl 1350.68251号 学报信息。 53,第6-8号,681-722(2016).MSC公司:68T42型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《学报》第53期,第6--8、681--722号(2016年;Zbl 1350.68251) 全文: 内政部 链接
玛尔塔·恰尔迪亚·梅耶;安德烈亚·奥兰迪尼;亚历山德罗·乌姆布里科 具有灵活时间表的计划和执行:正式账户。 (英语) Zbl 1351.90092号 学报信息。 53,编号6-8,649-680(2016).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cialdea Mayer}等人,《学报》第53期,第6--8649--680号(2016年;Zbl 1351.90092) 全文: 内政部 链接
让-弗朗索瓦·康多塔;苏希拉·卡奇;雅库布Salhi 时间定性约束网络中的优化。 (英语) Zbl 1336.68244号 学报信息。 53,第2期,149-170(2016).MSC公司:68T27型 68第05页 2017年第68季度 65年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Condotta}等人,《信息学报》53,第2期,149--170(2016年;Zbl 1336.68244) 全文: 内政部
卢克·亨斯伯格 具有不确定性的动态可控简单时态网络的高效执行。 (英语) Zbl 1336.68250号 学报信息。 53,第2期,89-147(2016).MSC公司:68层37 68第05页 65年第68季度 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger},Acta Inf.53,No.2,89--147(2016;Zbl 1336.68250) 全文: 内政部
曼纽尔·索尔吉;汉内斯·莫瑟;罗尔夫·尼德迈尔;马蒂亚斯·韦勒 利用超图模型查找Golomb标尺。 (英语) Zbl 1360.68520号 学报信息。 51,第7号,449-471(2014).MSC公司:65年第68季度 05C65号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sorge}等人,《信息学报》51,第7期,第449--471页(2014年;Zbl 1360.68520) 全文: 内政部