拉杰夫·阿鲁尔;Forejt，Vojtěch公司;萨拉尔·莫拉里夫;阿舒托什·特里维迪 有界速率多模系统的安全可调度性。 （英语） Zbl 1361.93019号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。243-252 (2013).MSC公司：93立方 2017年第68季度 65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。243-252（2013；Zbl 1361.93019） 全文： 内政部 arXiv公司
南黄弘;马杜苏丹，P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 （英语） Zbl 1147.68052号 形式方法系统。设计。 32，第3期，207-234（2008）.MSC公司：第68季度第60季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人，《形式方法系统》。设计。32，第3号，207--234（2008；Zbl 1147.68052） 全文： 内政部