奥尔纳·库普弗曼;加尔省瓦尔迪 透视游戏。 （英语） Zbl 07839127号 ACM事务处理。计算。日志。 25，第1号，第4条，第26页（2024）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi}，ACM Trans。计算。日志。25，第1号，第4条，第26页（2024；Zbl 07839127） 全文： 内政部 OA许可证
布洛克，罗德里克;查特吉，克里什南杜;芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：第68季度第60季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
柯特林·迪马;巴斯蒂安·莫伯特;索菲·平奇纳特 过渡系统中的相关路径：模态微积分的下降。 （英语） Zbl 1465.68173号 Italiano，F.（编辑）等人，《计算机科学数学基础》2015。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).MSC公司：第68季度第60季度 03年11月16日 03B45号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}等人，Lect。注释计算。科学。9234、179--191（2015年；Zbl 1465.68173） 全文： 内政部
约阿希姆·克莱因;克里斯特尔·拜尔;Klüppelholz，萨沙 大多数通用控制器的组成结构。 （英语） Zbl 1329.68186号 学报信息。 52，No.4-5，443-482（2015）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 03B44号 第68季度第60季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人，《学报》第52期，第4--5、443--482号（2015年；Zbl 1329.68186） 全文： 内政部
劳拉·博泽利;巴斯蒂安·莫伯特;索菲·平奇纳特 统一策略、理性关系和跳跃自动机。 （英语） Zbl 1319.68140号 Inf.计算。 242, 80-107 (2015).MSC公司：第68季度第60季度 03B42号 03B44号 05年3月 2017年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。242、80-107（2015；Zbl 1319.68140） 全文： 内政部