普拉萨德·西斯特拉。 时间逻辑中的安全、生动和公平。 (英语) Zbl 0820.68077号 正式Asp。计算。 6,第5期,495-511(1994)。MSC公司:60年第68季度 2010年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Prasad Sistla},正式Asp。计算。6,第5号,495--511(1994;Zbl 0820.68077) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 数据库动态的规范和验证。 (英语) Zbl 0627.68078号 Acta信息。 25,第6号,625-661(1988)。MSC公司:68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},《学报》第25期,第6期,第625--661页(1988;Zbl 0627.68078) 全文: 内政部
乔拉·斯卢茨基 有限状态关系程序。 (英语) Zbl 0494.68018号 Acta信息。 18, 393-409 (1983)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Slutzki},《信息学报》18,393--409(1983;Zbl 0494.68018) 全文: 内政部