×

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

最新 引文 相关性
马文·布里格;斯特凡·米奇;安德烈·普拉泽

用通信混合程序统一替换动态逻辑。 （英语） Zbl 07838482号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 96-115 (2023).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Brieger}等人，Lect。注释计算。科学。14132，96-115（2023；Zbl 07838482）
全文： 内政部 arXiv公司
罗布·范格拉贝克

只是测试。 （英语） Zbl 07770352号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 498-519 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。13992、498--519（2023；Zbl 07770352）
全文： 内政部 arXiv公司
伊恩·海耶斯。;拉里萨·梅尼基。

同步并发程序代数中的编码公平性。 （英语） 兹比尔1460.68028

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 222-239 (2018).
MSC公司：68纳米30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.J.Hayes}和\textit{L.A.Meinicke}，莱克特。注释计算。科学。10951、222--239（2018；Zbl 1460.68028）
全文： 内政部 arXiv公司
迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。

组合推理。 （英语） Zbl 1392.68249号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。345-383 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Giannakopoulou}等人，in：模型检查手册。查姆：斯普林格。345--383（2018年；Zbl 1392.68249）
全文： 内政部
弗拉德鲁苏;安德烈·阿鲁索艾

递增地证明可达性逻辑公式。 （英语） Zbl 1367.68076号

Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，134-151（2016）。
MSC公司：68纳米30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}和\textit{A.Arusoaie}，莱克特。注释计算。科学。9942、134--151（2016年；Zbl 1367.68076）
全文： 内政部 哈尔
格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆

朝向一种防止饥饿的螺纹技术。 （英语） Zbl 1354.68179号

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-33692-3/pbk；978-3-3169-33693-0/电子书）。计算机科学讲座笔记9681193-209（2016）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Schellhorn}等人，Lect。注释计算。科学。9681、193--209（2016年；Zbl 1354.68179）
全文： 内政部
范·斯塔登（Stephan van Staden）

关于可靠保证推理。 （英语） Zbl 1432.68321号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 30-49 (2015).
MSC公司：68问题85 68问题55 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.van Staden}，莱克特。注释计算。科学。9129，30--49（2015；Zbl 1432.68321）
全文： 内政部
格哈德·谢尔霍恩;博格丹托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫

RGITL：用于对交错程序进行组合推理的时间逻辑框架。 （英语） Zbl 1329.68172号

安。数学。Artif公司。智力。 71，编号1-3，131-174（2014）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 03B44号 68纳米30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Schellhorn}等人，《数学年鉴》。Artif公司。智力。71，编号1--3，131-174（2014；Zbl 1329.68172）
全文： 内政部
Kedar S.Namjoshi。;理查德·特雷弗（Richard J.Trefler）。

局部对称性和成分验证。 （英语） Zbl 1326.68103号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148348-362（2012）。
MSC公司：68纳米30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Namjoshi}和\textit{R.J.Trefler}，莱克特。注释计算。科学。7148348--362（2012年；Zbl 1326.68103）
全文： 内政部
博格丹托凡;格哈德·谢尔霍恩;沃尔夫冈·雷夫

具有危险指针的无锁堆栈的正式验证。 （英语） Zbl 1350.68081号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，239-255（2011）。
MSC公司：68第05页 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Tofan}等人，Lect。注释计算。科学。6916，239--255（2011；Zbl 1350.68081）
全文： 内政部
谢尔盖·冈查洛夫;卢茨·施罗德

异步副作用过程的共推演算。 （英语） Zbl 1342.68231号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，276-287（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{L.Schröder}，Lect。注释计算。科学。6914276-287（2011年；Zbl 1342.68231）
全文： 内政部 arXiv公司
安托万·米内

嵌入式关键并行C程序中运行时错误的静态分析。 （英语） Zbl 1239.68021号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602398-418（2011）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，莱克特。注释计算。科学。6602398--418（2011年；Zbl 1239.68021）
全文： 内政部 arXiv公司
艾默生·E·艾伦

模型检查的含义。 （英语） Zbl 1274.68183号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。《计算机科学讲义》5930、237-249（2010）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本｛E.A.爱默生｝，勒克特。注释计算。科学。5930237--249（2010年；Zbl 1274.68183）
全文： 内政部
曼弗雷德·布罗伊

同步消息传递：关于互模拟和拒绝等价之间的关系。 （英语） Zbl 1274.68223号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，118-126（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Broy}，莱克特。注释计算。科学。5930118-126（2010年；Zbl 1274.68223）
全文： 内政部
亲爱的，丹尼斯;乌尔里希·汉内曼;马丁·斯特芬

Willem-Paul de Roever的参考书目。 （英语） Zbl 1274.01075号

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，1-9（2010）。
MSC公司：01A70号 68-03 68纳米30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Dams}等人，Lect。注释计算。科学。5930，1-9（2010；Zbl 1274.01075）
全文： 内政部
海克·卫尔海姆;丹尼尔·沃尼什

成分CSP跟踪细化检查。 （英语） 兹比尔1335.68151

Miller，Alice（ed.）等人，《第八届关键系统自动化验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，135-151（2009）。
MSC公司：60年第68季度 68问题85 68T05型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Wehrheim}和\textit{D.Wonisch}，电子。注释Theor。计算。科学。250，编号2，135--151（2009；Zbl 1335.68151）
全文： 内政部
Tsay，Yih-Kuen先生;王，弯腰

直觉闭合正则属性的自动组合推理。 （英语） Zbl 1172.68531号

Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2008年7月21日至24日，美国加利福尼亚州旧金山，CIAA 2008第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70843-8/pbk）。计算机科学课堂讲稿514836-45（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{B.-Y.Wang}，Lect。注释计算。科学。5148，36-45（2008；Zbl 1172.68531）
全文： 内政部
克利夫·琼斯。;Ken G.皮尔斯。

依赖/保证条件下的原子分裂与数据具体化。 （英语） Zbl 1156.68352号

Börger，Egon（编辑）等人，抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87602-1/pbk）。计算机科学课堂讲稿5238，360-377（2008）。
MSC公司：68纳米30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Jones}和\textit{K.G.Pierce}，莱克特。注释计算。科学。5238，360-377（2008；Zbl 1156.68352）
全文： 内政部
尼克·莫法特;迈克尔·戈德史密斯

CSP模型检查的假设承诺支持。 （英语） Zbl 1335.68178号

Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185121-137（2007）。
MSC公司：68问题85 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.莫法特}和\textit{M.戈德史密斯}，电子。注释Theor。计算。科学。185121-137（2007年；Zbl 1335.68178）
全文： 内政部
米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月

通过程序重写实现分布式系统的形式序列化。 （英语） Zbl 1278.68213号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，53-75（2007）。
MSC公司：68问题85 68甲19 第68季度第42季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bertran}等人，《电子》。注释Theor。计算。科学。188、53-75（2007年；Zbl 1278.68213）
全文： 内政部
安德烈·普拉泽

混合动态系统的混合动态逻辑。 （英语） Zbl 1278.03048号

Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，第63-77页（2007年）。
MSC公司：03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，电子。注释Theor。计算。科学。174，编号6，63--77（2007；Zbl 1278.03048）
全文： 内政部
苏珊娜·格拉芙;苏菲·昆顿

BIP合同：用于成分验证的层次交互模型。 （英语） Zbl 1215.68028号

Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574，1-18（2007）。
MSC公司：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Graf}和\textit{S.Quinton}，莱克特。注释计算。科学。4574，1--18（2007；Zbl 1215.68028）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件