奥尔加·格林斯坦;本特·琼森;马丁·勒克 事件记录自动机的学习。 (英语) Zbl 1205.68201号 西奥。计算。科学。 411,编号47,4029-4054(2010).MSC公司:65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,Theor。计算。科学。411,第47号,4029--4054(2010;Zbl 1205.68201) 全文: 内政部
本特·琼森;Yi,王 概率过程的测试预订单可以通过仿真来表征。 (英语) Zbl 0997.68082号 西奥。计算。科学。 282,第1期,33-51(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{W.Yi},Theor。计算。科学。282,第1号,33--51(2002;Zbl 0997.68082) 全文: 内政部
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) Zbl 0973.68146号 西奥。计算。科学。 256,编号1-2145-167(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: 内政部
本特·琼森;蔡义权 线性时间-时间逻辑中的假设/保证规范。 (英语) Zbl 0874.68210号 西奥。计算。科学。 167,第1-2号,47-72(1996).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{Y.-K.Tsay},Theor。计算。科学。167,编号1--2,47-72(1996;Zbl 0874.68210) 全文: 内政部
本特·琼森;蔡义权 线性时间-时间逻辑中的假设/保证规范(扩展摘要)。 (英语) Zbl 1496.68192号 Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 262-276 (1995).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{Y.-K.Tsay},莱克特。注释计算。科学。915262--276(1995年;Zbl 1496.68192) 全文: 内政部
汉森,汉斯;本特·琼森 推理时间和可靠性的逻辑。 (英语) Zbl 0820.68113号 正式Asp。计算。 6,第5期,512-535(1994).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hansson}和\textit{B.Jonson},正式Asp。计算。6,第5号,512--535(1994;Zbl 0820.68113) 全文: 内政部
本特·琼森 数据流和异步网络的完全抽象跟踪模型。 (英语) Zbl 0813.68095号 分布计算。 第7期,第4期,197-212页(1994年).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson},分布式计算。7,第4号,197--212(1994;Zbl 0813.68095) 全文: 内政部