德扬·约瓦诺维奇;布鲁诺·杜特雷 非线性算法的插值和模型检查。 （英语） Zbl 1493.68212号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{B.Dutertre}，莱克特。注释计算。科学。12760266--288（2021年；Zbl 1493.68212） 全文： 内政部 arXiv公司
德扬·约瓦诺维奇;克拉克·巴雷特 注意理论结合。 （英语） Zbl 1284.68518号 表格方法系统。设计。 42，No.1，67-90（2013）.MSC公司：第68页第15页 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Jovanović｝和\textit｛C.Barrett｝，表格。方法系统。设计。42，第1号，67--90（2013；Zbl 1284.68518） 全文： 内政部
德扬·约瓦诺维奇;克拉克·巴雷特 分享就是关怀：理论的结合。 （英语） Zbl 1348.68220号 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能课堂讲稿》，195-210（2011）。MSC公司：第68页第15页 03B25号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jovanović}和\textit{C.Barrett}，莱克特。注释计算。科学。6989195-210（2011；Zbl 1348.68220） 全文： 内政部