萨瓦斯·科努尔 用于指定和验证实时系统的时间逻辑综述。 （英语） Zbl 1425.68258号 前面。计算。科学。 第370-403号第7页（2013年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur}，前面。计算。科学。7，第3号，370--403（2013；Zbl 1425.68258） 全文： 内政部
帕里托什·K·潘迪亚。；桑卡拉·纳拉亚南·克里希纳；Loya，Kuntal公司 具有持续时间的连续时间逻辑的抽样抽象。 （英语） Zbl 1186.03057号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424246-260（2007）。MSC公司：03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}等人，Lect。注释计算。科学。44246-260（2007年；Zbl 1186.03057） 全文： 内政部
查克拉沃蒂，高拉夫；帕里托什·K·潘迪亚。 数字化间隔持续时间逻辑。 （英语） Zbl 1278.68161号 Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 167-179 (2003).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Chakravorty}和\textit{P.K.Pandya}，莱克特。注释计算。科学。2725167--179（2003年；Zbl 1278.68161） 全文： 内政部
帕里托什·K·潘迪亚。 模型检查CTL*[DC]。 （英语） Zbl 0986.68066号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2031, 559-573 (2001).MSC公司：60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{P.K.Pandya}，勒克特。注释计算。科学。2031559-573（2001年；兹bl 0986.68066）