埃里克·奥杜罗;路易斯·法利尼亚斯·德尔·塞罗;帕特丽斯·恩贾尔伯特 程序设计与逻辑时间。二、。验证算法并行。 (法语) Zbl 0656.03019号 技术科学。信息。 7,第2期,181-200(1988). 审核人:N.Curteanu公司 MSC公司:03B70号 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃里·奥杜罗}等人,科技。通知。7,编号2181-200(1988年;Zbl 0656.03019)
埃里克·奥杜罗;路易斯·法利尼亚斯·德尔·塞罗;帕特里斯·恩贾尔伯特 程序设计与逻辑时间。I.:算法验证。 (法语) Zbl 0647.03017号 技术科学。信息。 6, 527-540 (1987). 审核人:N.Curteanu公司 MSC公司:03B70号 60年第68季度 68号01 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{埃里·奥杜罗}等人,科技。通知。6527-540(1987;Zbl 0647.03017)
弗雷德·克罗格 抽象模块:结合代数和时序逻辑规范方法。 (英语) Zbl 0643.68009号 技术科学。信息。 6, 559-573 (1987). 审核人:L.布里姆 MSC公司:60年第68季度 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger},科技。通知。6559-573(1987年;兹bl 0643.68009)