拉杰夫·阿鲁尔；库沙·埃特萨米；萨尔瓦多拉托雷；多龙·贝利德 “模型测量”的参数时序逻辑。 （英语） Zbl 1171.68544号 ACM事务处理。计算。日志。 2，第3期，388-407（2001）. 引用于1审查引用于28文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时序逻辑 软件：自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，ACM Trans。计算。日志。2，第3号，388--407（2001；Zbl 1171.68544） 全文： DOI程序