帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 （英语） Zbl 1504.68131号 Inf.计算。 285，B部分，文章ID 104865，18 p.（2022）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar}，Inf.Compute。285，B部分，文章ID 104865，18 p.（2022；Zbl 1504.68131） 全文： 内政部 arXiv公司
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 综合最佳弹性控制器。 （英语） 兹比尔1435.68066 学报信息。 57，编号1-2，195-221（2020）.MSC公司：68号30 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《信息学报》57，第1--2期，195-221期（2020年；Zbl 1435.68066） 全文： 内政部 arXiv公司
瑞典雅各布斯；穆罕默德·萨克尔 急切策略惰性合成的符号算法。 （英语） Zbl 1435.68198号 学报信息。 57，编号1-2，81-106（2020）.MSC公司：60年第68季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr}，《学报》第57期，第1--2,81-106号（2020年；Zbl 1435.68198） 全文： 内政部
帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 （英语） Zbl 1504.68130号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305、91-106（2019）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar}，电子。程序。西奥。计算。科学。（EPTCS）305，91-106（2019；Zbl 1504.68130） 全文： arXiv公司 链接
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 综合最佳弹性控制器。 （英语） Zbl 1528.68085号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第34条，第17页（2018年）。MSC公司：68号30 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，LIPIcs——莱布尼茨国际程序。通知。119，第34条，第17页（2018；Zbl 1528.68085） 全文： 内政部
贝蒂娜·科尼霍费尔；穆罕默德·阿尔谢赫；罗德里克·布洛姆；汉弗莱，劳拉；罗伯特·Könighfer；托普库，乌福；王超 屏蔽合成。 （英语） Zbl 1386.68101号 形式方法系统。设计。 51，第2号，332-361（2017）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人，《形式方法系统》。设计。51，第2号，332--361（2017；Zbl 1386.68101） 全文： 内政部