鲍恩·阿尔佩恩;弗雷德·施耐德。 在没有时态逻辑的情况下验证时态属性。 (英语) Zbl 0676.68003号 ACM变速器。程序。语言系统。 第1147-167号第11页(1989年). 审核人:圣戈特瓦尔德 MSC公司:68号01 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},ACM Trans。程序。语言系统。11,第1号,147--167(1989;Zbl 0676.68003) 全文: 内政部 链接
鲍恩·阿尔佩恩;弗雷德·施耐德。 认识到安全和活力。 (英语) Zbl 0641.68039号 分布计算。 2, 117-126 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},分布式计算。2、117--126(1987年;Zbl 0641.68039) 全文: 内政部
鲍恩·阿尔佩恩;阿兰·德默斯。;弗雷德·施耐德。 安全,不结巴。 (英语) Zbl 0619.68019号 信息处理。莱特。 177-180年(1986年).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}等人,Inf.过程。莱特。23、177--180(1986年;Zbl 0619.68019) 全文: 内政部 链接
鲍恩·阿尔佩恩;弗雷德·施耐德。 定义活力。 (英语) 兹比尔0575.68030 信息处理。莱特。 21, 181-185 (1985).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Alpern}和\textit{F.B.Schneider},Inf.过程。莱特。2181-185(1985年;兹bl 0575.68030) 全文: 内政部