×

找到50个文档（结果1-50）

最新的 引文 关联
阿罗尼斯·斯塔夫罗斯；本特·琼森；马格纳斯·朗；康斯坦蒂诺斯·萨戈纳斯

带观测器的最优动态降阶。 （英语） Zbl 1423.68093号

Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10806, 229-248 (2018).
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Aronis}等人，Lect。注释计算。科学。10806、229--248（2018；Zbl 1423.68093）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；崔聪

用于并发形状分析的碎片抽象。 （英语） Zbl 1418.68124号

阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 442-471 (2018).
MSC公司：60年第68季度 68甲19 68第05页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。10801、442--471（2018；Zbl 1418.68124）
全文： 内政部
帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯

比较源集和持久集以减少部分顺序。 （英语） Zbl 1431.68062号

Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆：斯普林格。莱克特。注释计算。科学。10460, 516-536 (2017).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Abdulla}等人，Lect。注释计算。科学。10460516--536（2017；Zbl 1431.68062）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳

通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68136号

学报信息。 53，第4期，357-385（2016）.
MSC公司：60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Abdulla｝等人，《情报法》第53卷，第4期，357-385页（2016年；兹bl 1344.68136）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；穆罕默德·法乌齐（Mohamed Faouzi Atig）；本特·琼森；卡尔·莱昂纳多森；康斯坦蒂诺斯·萨戈纳斯

TSO和PSO的无状态模型检查。 （英语） Zbl 1420.68115号

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2015，2015年4月11日至18日，英国伦敦。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9035, 353-367 (2015).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。9035，353--367（2015；Zbl 1420.68115）
全文： 内政部 arXiv公司
卢卡什·霍利克；马尔特·伊斯伯纳；本特·琼森

具有数据的组件代数中的中介合成。 （英语） Zbl 1444.68103号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 238-259 (2015).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Holík}等人，Lect。注释计算。科学。9360238-259（2015年；兹bl 1444.68103）
全文： 内政部
帕罗什·阿卜杜拉；阿罗尼斯·斯塔夫罗斯；本特·琼森；康斯坦蒂诺斯·萨戈纳斯

最优动态部分降阶。 （英语） Zbl 1284.68377号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。373-384（2014年）。
MSC公司：60年第68季度 68周05 68号30 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Abdulla}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。373--384（2014年；Zbl 1284.68377）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳

通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68135号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-02443-1/pbk）。计算机科学课堂讲稿8172224-239（2013）。
MSC公司：60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Abdulla｝等人，Lect。注释计算。科学。8172224--239（2013；Zbl 1344.68135）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉；弗雷德里克·哈齐扎；卢卡什·霍利克；本特·琼森；艾哈迈德·雷兹

一种用于高度并发数据结构的集成规范和验证技术。 （英语） Zbl 1381.68141号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，324-338（2013）。
MSC公司：60年第68季度 68第05页 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。7795，324--338（2013；Zbl 1381.68141）
全文： 内政部 链接
陈、陶璐；克里斯·奇尔顿；本特·琼森；玛尔塔·奎亚特科夫斯卡

组件行为的组合规范理论。 （英语） Zbl 1352.68149号

Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学讲义7211，148-168（2012）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Lect。注释计算。科学。7211，148--168（2012；Zbl 1352.68149）
全文： 内政部
索菲亚·卡塞尔；福尔克·豪尔；本特·琼森；梅克梅尔滕；Steffen，伯恩哈德

简洁规范的寄存器自动机模型。 （英语） Zbl 1348.68095号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996366-380（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Cassel}等人，Lect。注释计算。科学。6996、366--380（2011年；Zbl 1348.68095）
全文： 内政部
马扬克省萨克塞纳；奥斯卡·威布尔；本特·琼森

特设路由协议的图形语法建模和验证。 （英语） Zbl 1134.68418号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，18-32（2008）。
MSC公司：60年第68季度 68个M12 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Saksena}等人，Lect。注释计算。科学。4963，18-32（2008年；Zbl 1134.68418）
全文： 内政部
本特·琼森；马扬克省萨克塞纳

定期模型检查中的系统加速。 （英语） Zbl 1135.68475号

Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590131-144（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}和\textit{M.Saksena}，莱克特。注释计算。科学。4590、131--144（2007年；Zbl 1135.68475）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；艾哈迈德·雷兹；马扬克省萨克塞纳

通过向后可达性证明活跃性。 （英语） Zbl 1151.68498号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，95-109（2006）。
MSC公司：68问题85 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。4137、95-109（2006年；Zbl 1151.68498）
全文： 内政部
特蕾莎·伯格；本特·琼森；Leucker，马丁；马扬克省萨克塞纳

对Angluin学习的见解。 （英语） Zbl 1272.68164号

Etalle，S.（ed.）等人，《软件验证与确认国际研讨会论文集》（SVV 2003），印度孟买，2003年12月9日至13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记118，3-18（2005）。
MSC公司：68问题32 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Berg｝等人，电子。注释Theor。计算。科学。118、3-18（2005年；Zbl 1272.68164）
全文： 链接
约翰·布洛姆；安德斯·赫塞尔；本特·琼森；保罗·佩特森

使用观察者自动机指定和生成测试用例。 （英语） Zbl 1081.68566号

Grabowski，Jens（编辑）等人，软件测试的形式化方法。2004年9月21日，第四届国际研讨会，《命运2004》，奥地利林茨。修改选定的论文。柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。计算机科学课堂讲稿3395125-139（2005）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Blom}等人，Lect。注释计算。科学。3395、125--139（2005年；Zbl 1081.68566）
全文： 内政部
曼弗雷德·布罗伊（编辑）；本特·琼森（编辑）；Joost-Pieter卡托恩（编辑）；Leucker，马丁（编辑）；亚历山大·普雷施纳（编辑）
[埃克塞尔·贝林芬特；特蕾莎·伯格；Kirsten Berkenkötter；亨利克·比约克隆德；Brandán Briones，劳拉；斯特凡·D·布鲁达。；塞维琳·科林；戴振如；乔治·丁；穆罕默德·勒姆利；拉尔斯·弗兰岑；安吉洛·加甘蒂尼；克里斯托夫·加斯顿；马克·霍斯特曼；本特·琼森；Joost-Pieter卡托恩；雷蒙·科纳；莫伊斯·克里钦；Leucker，马丁；利瓦·卢西奥；莱昂纳多·马里亚尼；法比安·佩鲁克斯；菲利普斯，简；沃尔夫冈·普伦宁格；亚历山大·普雷施纳；哈拉尔德·拉菲尔特；马蒂亚斯·罗尔；马可·萨梅尔；斯文·桑德伯格；克里斯蒂安·夏尔哈特；德克·塞弗特；瓦列里察恩；马基尔·范德·比吉尔；维雷娜·沃尔夫]

反应系统的基于模型的测试。高级讲座。 （英语） Zbl 1070.68088号

计算机科学课堂讲稿3472.柏林：施普林格出版社（ISBN 3-540-26278-4/pbk）。viii，659页。(2005).
MSC公司：60年第68季度 68米15 68-02 68-06
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}（编辑）等人，反应系统的基于模型的测试。高级讲座。柏林：施普林格出版社（2005；Zbl 1070.68088）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；德奥索，朱利安；马扬克省萨克塞纳

定期对LTL（MSO）进行模型检查。 （英语） Zbl 1103.68070号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114348-360（2004）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Abdulla｝等人，Lect。注释计算。科学。3114348--360（2004；Zbl 1103.68070）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；马扬克省萨克塞纳

定期模型检查的调查。 （英语） Zbl 1099.68055号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学讲义317035-48（2004）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。3170、35-48（2004年；Zbl 1099.68055）
全文： 内政部
奥尔加·格林斯坦；本特·琼森；Leucker，马丁

事件记录自动机的学习。 （英语） Zbl 1109.68515号

Lakhnech，Yassine（编辑）等人，《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议，FTRTFT 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23167-6/pbk）。计算机科学课堂讲稿3253379-395（2004）。
MSC公司：60年第68季度 65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{O.Grinchtein}等人，Lect。注释计算。科学。3253、379--395（2004年；Zbl 1109.68515）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；德奥索，朱利安

常规模型检查中的算法改进。 （英语） Zbl 1278.68150号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 236-248 (2003).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。2725236--248（2003年；Zbl 1278.68150）
全文： 内政部
达姆，沃纳；本特·琼森

从RTUML模型表示中消除队列。 （英语） Zbl 1278.68165号

Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。《计算机科学讲义》2469、375-393（2002年）。
MSC公司：60年第68季度 68个M12 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}和\textit{B.Jonsson}，莱克特。注释计算。科学。2469375--393（2002年；Zbl 1278.68165）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；德奥索，朱利安

定期模型检查简单高效。 （英语） Zbl 1012.68134号

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 116-130 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。242116-130（2002年；兹比尔1012.68134）
全文： 链接
帕罗什阿齐兹·阿卜杜拉；本特·琼森；普里塔·马哈塔；德奥索，朱利安

定期树模型检查。 （英语） Zbl 1010.68087号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Aziz Abdulla}等人，Lect。注释计算。科学。2404、555--568（2002年；Zbl 1010.68087）
全文： 链接
帕罗什·阿卜杜拉；克里斯特尔·拜尔；伊耶，普鲁索塔曼；本特·琼森

概率有损信道系统的推理。 （英语） Zbl 0999.68145号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).
MSC公司：68问题85 60年第68季度 65年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{P.Abdulla}等人，Lect。注释计算。科学。1877320--333（2000年；Zbl 0999.68145）
艾哈迈德·博阿贾尼；本特·琼森；马库斯·尼尔森；泰瑟·图利

定期模型检查。 （英语） Zbl 0974.68118号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 403-418 (2000).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，Lect。注释计算。科学。1855、403--418（2000年；Zbl 0974.68118）
本特·琼森；马库斯·尼尔森

用于验证无限状态系统的正则关系的传递闭包。 （英语） Zbl 0960.68039号

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785, 220-234 (2000).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}和\textit{M.Nilsson}，莱克特。注释计算。科学。1785，220--234（2000；Zbl 0960.68039）
帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；本特·琼森；马库斯·尼尔森

在参数化系统验证中处理全局条件。 （英语） Zbl 1046.68573号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 134-145 (1999).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。1633、134--145（1999年；Zbl 1046.68573）
本特·琼森；Tsay，Yih-Kuen先生

线性时间时序逻辑中的假设/保证规范（扩展抽象）。 （英语） 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 1418.68123号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第820316-327页（1994年）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}和\textit{B.Jonsson}，莱克特。注释计算。科学。820316-327（1994年；Zbl 1418.68123）
全文： 内政部
B.琼森。（编辑）；J·帕罗。（编辑）；佩尔森，B。（编辑）

协议规范、测试和验证。1991年6月18日至20日，在瑞典斯德哥尔摩举行的第11届IFIP WG-6.1国际研讨会上提交了一系列教程论文。 （英语） 兹比尔0776.00035

阿姆斯特丹：北荷兰，第967-1030页（1993年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}（编辑）等，协议规范，测试和验证。1991年6月18日至20日，在瑞典斯德哥尔摩举行的第11届IFIP WG-6.1国际研讨会上提交了一系列教程论文。阿姆斯特丹：北荷兰（1993；Zbl 0776.00035）
帕特里克·恩伯格；拉尔斯·弗雷德隆德；本特·琼森

使用LOTOS规范和验证简单超车协议。 （英语） Zbl 0825.68201号

形式描述技术，IV，Proc。IFIP TC6/WG6第四届国际会议，悉尼/澳大利亚，1991，377-392（1992）。
MSC公司：68米10 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ernberg}等人，in：形式描述技术，IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集，91年FORTE，澳大利亚悉尼，1991年11月19-22日。阿姆斯特丹等：Elsevier Science Publishers B.V.（北荷兰）。377--392（1992年；Zbl 0825.68201）
本特·琼森（编辑）；约阿希姆·帕罗（编辑）；比约恩·佩尔森（编辑）

协议规范、测试和验证，XI。1991年6月18日至20日，瑞典斯德哥尔摩，国际单项体育联合会工作组会议记录6.1第11次国际研讨会。 （英语） Zbl 0800.68103号

阿姆斯特丹等地：荷兰北部。十三、 365页（1991年）。
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}（编辑）等，协议规范、测试和验证，XI。1991年6月18日至20日，瑞典斯德哥尔摩，IFIP工作组第6.1届国际研讨会会议记录。阿姆斯特丹等：北荷兰（1991；Zbl 0800.68103）
本特·琼森；约阿希姆·帕罗

确定一类非有限状态程序的互模拟等价性。 （英语） Zbl 1492.68086号

Monien，Burkhard（编辑）等人，STACS 89。第六届计算机科学理论方面年度研讨会，1989年2月16日至18日，法国联邦政府帕德博恩。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。349, 421-433 (1989).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛B.Jonsson｝和\textit｛J.Parrow｝，Lect。注释计算。科学。349421-433（1989年；Zbl 1492.68086）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件