罗德里克·布洛姆；克里希南德·查特吉；芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；芭芭拉·乔布斯曼；罗希特·辛格 在概率环境中测量和合成系统。 （英语） Zbl 1321.68344号 美国临床医学杂志 62，第1号，第9条，第34页（2015年）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，J.ACM 62，No.1，Article No.9，34 p.（2015；Zbl 1321.68344） 全文： 内政部 arXiv公司
加尔·卡茨；多龙·贝利德 遗传编程和模型检查：合成新的互斥算法。 （英语） Zbl 1183.68376号 Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，33-47（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}和\textit{D.Peled}，莱克特。注释计算。科学。5311、33-47（2008年；Zbl 1183.68376） 全文： 内政部