贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07629163号 Inf.计算。 289，B部分，文章ID 104856，28 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。289，B部分，文章ID 104856，28 p.（2022；Zbl 07629163） 全文： 内政部
达纳·菲斯曼（编辑）;里沙布·辛格（编辑）;阿曼多·索拉勒扎马（编辑） 语法指导合成前言专刊。 （英语） 1490.00032兹罗提 形式方法系统。设计。 58，第3号，469-470（2021）.MSC公司：00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}（编辑）等，《形式方法系统》。设计。58，第3号，469--470（2021；Zbl 1490.00032） 全文： 内政部
贝拉德，贝特里奇;贝内迪克特·博利格;帕特里夏·鲍耶;马蒂亚斯·福格尔;纳塔利·斯兹纳杰德 存在动态链接的合成。 （英语） Zbl 07455739号 Raskin，Jean-Francois（ed.）等人，第11届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2020，比利时布鲁塞尔，2020年9月21-22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32633-49（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、33-49（2020；Zbl 07455739） 全文： arXiv公司 链接
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 （英语） Zbl 1368.68233号 形式方法系统。设计。 第3期第49页，第219-271页（2016年）.MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《形式方法系统》。设计。49，第3号，219--271（2016；Zbl 1368.68233） 全文： 内政部 arXiv公司
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 （英语） Zbl 1318.91012号 Inf.计算。 242, 53-79 (2015).MSC公司：91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91A35型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Gutierrez｝等人，信息计算。242、53--79（2015年；Zbl 1318.91012） 全文： 内政部
奥利弗·弗里德曼;马库斯拿铁;马丁·兰格 基于tableaux和自动机的\（\mathrm{CTL}^{*}\）的决策过程。 （英语） Zbl 1257.03035号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能课堂讲稿》，331-345（2010）。MSC公司：03B35型 03B44号 05年3月 68吨15 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人，Lect。注释计算。科学。6173、331--345（2010年；Zbl 1257.03035） 全文： 内政部
尤尼特·凯斯滕;阿米尔·普努利 CTL（^*\）验证的组合方法。 （英语） Zbl 1079.68059号 西奥。计算。科学。 331，编号2-3，397-428（2005）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli}，Theor。计算。科学。331，编号2-3397-428（2005年；兹bl 1079.68059） 全文： 内政部