×

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

最新的 引文 关联
彼得·格约尔·詹森；金·古德斯特兰·拉森；吉·斯尔巴；尼古拉·延森·乌尔里克

在依存关系图验证中消除分离区域。 （英语） Zbl 07750361号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第13872页、第163-179页（2023年）。
MSC公司：60年第68季度 03B44号 68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。票据计算。科学。13872，163-179（2023；Zbl 07750361）
全文： 内政部
乔治·巴奇；乔瓦尼·巴奇；马蒂亚斯·克劳斯·詹森；Larsen，Kim G。

凸晶格方程组。 （英语） Zbl 1528.68206号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 438-455 (2022).
MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，Lect。票据计算。科学。13660438--455（2022年；Zbl 1528.68206）
全文： 内政部
Larsen，Kim G。；克里斯蒂安·席林；吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛K.G.Larsen｝等人，Lect。票据计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
休伯特Garavel；弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。票据计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： 内政部 哈尔
伊利耶斯·法尔科内；格温·萨拉恩；左，阿汉

BPMN流程在运行时的概率模型检查。 （英语） Zbl 1502.68182号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13274, 191-208 (2022).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Falcone}等人，Lect。票据计算。科学。13274、191--208（2022；Zbl 1502.68182）
全文： 内政部 哈尔
兰登·泰勒；张震

扩大网络对芯片路由算法的活锁验证。 （英语） Zbl 1498.68173号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 378-399 (2022).
MSC公司：60年第68季度 2007年7月68日 68米15
PDF格式BibTeX公司 XML格式引用
\textit{L.Taylor}和\textit{Z.Zhang}，Lect。票据计算。科学。13182，378--399（2022；Zbl 1498.68173）
全文： 内政部
弗雷德里克·朗；拉杜·马特埃斯库；弗朗科·马扎蒂

尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 （英语） Zbl 1483.68233号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12079, 57-76 (2020).
MSC公司：68问题85 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Lang}等人，Lect。票据计算。科学。12079，57-76（2020；Zbl 1483.68233）
全文： 内政部
马里奥·阿尔瓦雷斯·皮卡略；Jean-Simon Pacaud Lemay女士

笛卡尔差分类别。 （英语） Zbl 07250932号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 57-76 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Alvarez-Picallo}和\textit{J.-S.P.Lemay}，莱克特。票据计算。科学。12077，57-76（2020；Zbl 07250932）
全文： 内政部
塞巴斯蒂安·荣格斯；古克，丹尼斯；Joost-Pieter卡托恩；阿伦德·伦辛克；玛丽·斯托琳加

饮食中的故障树：通过图形重写实现自动减少。 （英语） Zbl 1370.68063号

正式Asp。计算。 29，第4期，651-703（2017）.
MSC公司：68第05页 68米15 第68季度第42季度 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}等人，正式Asp。计算。29，第4号，651--703（2017；Zbl 1370.68063）
全文： 内政部 链接
Jan Friso，格鲁特；大卫·詹森（David N.Jansen）。；Jeroen J.A.Keiren。；安东·威伊斯（Anton J.Wijs）。

一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 （英语） Zbl 1367.68211号

ACM事务处理。计算。日志。 18，第2号，第13条，第34页（2017年）.
MSC公司：68问题85 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，ACM Trans。计算。日志。18，第2号，第13条，第34页（2017年；Zbl 1367.68211）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格；Jeroen J.A.Keiren。；Tim A.C.Willemse。

分支互模拟游戏。 （英语） Zbl 1347.68276号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，142-157（2016）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。票据计算。科学。9688，142--157（2016；Zbl 1347.68276）
全文： 内政部 哈尔
马克·乔伊

基于身份的密码系统和二次剩余。 （英语） Zbl 1388.94062号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议，台湾台北，2016年3月6日至9日。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，225-254（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Joye}，莱克特。票据计算。科学。9614，225--254（2016年；Zbl 1388.94062）
全文： 内政部
休伯特Garavel

嵌套单位Petri网：一种提高基本网验证效率和可扩展性的结构化方法。 （英语） 兹比尔1432.68306

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9115, 179-199 (2015).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}，莱克特。票据计算。科学。9115、179--199（2015；Zbl 1432.68306）
全文： 内政部 哈尔
克里斯特尔·拜尔；克莱门斯，杜布拉夫；约阿希姆·克莱因；Klüppelholz，萨沙；萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。票据计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。票据计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： 内政部
Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加；马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
巴特·塞伦；马克·盖伦；杰罗·沃顿

性能模型检查场景软件数据流。 （英语） Zbl 1348.68151号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，43-59（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Theelen｝等人，Lect。票据计算。科学。6919、43-59（2011年；Zbl 1348.68151）
全文： 内政部
休伯特Garavel

思考并发理论的未来，特别是进程计算。 （英语） Zbl 1279.68258号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，149-164（2008）。
MSC公司：68问题85 60年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}，电子。注释Theor。计算。科学。209、149--164（2008年；Zbl 1279.68258）
全文： 内政部
佩皮恩·克鲁森；霍尔格·赫尔曼斯；张丽君

关于非循环模型的最小化。 （英语） Zbl 1160.68462号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。《计算机科学讲义》5201295-309（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Crouzen}等人，Lect。票据计算。科学。5201、295--309（2008年；Zbl 1160.68462）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件