尤多·利佩克(Udo W.Lipeck)。;冈特萨克 基于时序逻辑监控动态完整性约束。 (英语) Zbl 0632.68090号 信息系统。 12, 255-269 (1987). 审核人:E.克努特 MSC公司:68第20页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{U.W.Lipeck}和\textit{G.Saake},信息系统。12、255--269(1987年;Zbl 0632.68090) 全文: DOI程序
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 INFOLOG事件和事务的线性时态命题逻辑。 (英语) Zbl 0596.68063号 信息系统。 11, 61-85 (1986). 审核人:E.克努特 MSC公司:68第20页 03B45号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},信息系统。11、61-85(1986年;Zbl 0596.68063) 全文: DOI程序
阿米尔卡·瑟纳达斯 逻辑过程定义的时间方面。 (英语) Zbl 0444.68084号 信息系统。 5, 167-187 (1980).MSC公司:68第20页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas},信息系统。5167--187(1980;Zbl 0444.68084) 全文: DOI程序