詹纳科普洛，迪米特拉;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。 组合推理。 （英语） Zbl 1392.68249号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。345-383 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}等人，in：模型检查手册。查姆：斯普林格。345--383（2018年；Zbl 1392.68249） 全文： DOI程序
科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 学习分而治之：应用（L^*）算法自动进行假设保证推理。 （英语） Zbl 1147.68053号 形式方法系统。设计。 32，第3期，175-205（2008）.MSC公司：60年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{C.S.PSreanu}等人，《形式方法系统》。设计。32，第3号，175--205（2008；Zbl 1147.68053） 全文： DOI程序
米哈埃拉·乔尔吉;迪米特拉·吉安娜科波卢;科琳娜·s·佩斯勒诺。 优化界面字母以进行成分验证。 （英语） Zbl 1186.68290号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。《计算机科学讲义》4424292-307（2007）。MSC公司：60年第68季度 68问题32 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghiu}等人，Lect。注释计算。科学。4424、292--307（2007年；Zbl 1186.68290） 全文： DOI程序