伊丽莎白·菲尔曼;沙哈尔·茂兹;詹·奥利弗·林格特 GR(1)综合和相关算法的性能启发式。 (英语) Zbl 1435.68195号 学报信息。 57,编号1-2,37-79(2020).MSC公司:60年第68季度 68T20型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Firman}等人,《信息学报》57,第1--2号,第37-79页(2020年;Zbl 1435.68195) 全文: 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·柯尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 (英语) Zbl 1302.93079号 学报信息。 51,编号3-4193-220(2014).MSC公司:93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Acta Inf.51,No.3--4,193-220(2014;Zbl 1302.93079) 全文: 内政部
布洛克,罗德里克;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) 兹比尔1247.68050 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8,908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部