×

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

最新的 引文 关联
兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。

进程代数和模型检查。 （英文） Zbl 1392.68243号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，in：模型检查手册。查姆：斯普林格。1149--1195（2018；Zbl 1392.68243）
全文： 内政部
佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。

使用SAT检查自动检测标记结构和不变量。 （英文） Zbl 1453.68109号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。勒克特。注释计算。科学。10206, 249-265 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Antonino}等人，Lect。注释计算。科学。10206、249--265（2017；Zbl 1453.68109）
全文： 内政部 链接
大卫·梅斯特尔;A.W.罗斯科。

通过优先级将复杂的CSP模型减少为跟踪。 （英文） Zbl 1392.68310号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325237-252（2016）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Mestel}和\textit{A.W.Roscoe}，电子。注释Theor。计算。科学。325237-252（2016；Zbl 1392.68310）
全文： 内政部
A.W.罗斯科。

具有优先级的CSP的表达能力。 （英文） Zbl 1351.68148号

Ghica，Dan（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，387-401，仅电子版（2015）。
MSC公司：68问题55 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Roscoe}，电子。注释Theor。计算。科学。319387——401（2015年；Zbl 1351.68148）
全文： 内政部
约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔

CSP中的静态活锁分析。 （英文） Zbl 1300.68036号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901389-403（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}等人，Lect。注释计算。科学。6901389--403（2011；Zbl 1300.68036）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件