×

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

最新的 引文 关联
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥尔洪

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
普拉图什·阿加瓦尔;克里希南德·查特吉;Shreya Pathak;安德烈亚斯·帕夫罗甘尼斯;维克多·托曼

读-值-自等价下的无状态模型检查。 （英语） Zbl 1493.68200号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759341-366（2021年）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Agarwal}等人，Lect。注释计算。科学。12759、341--366（2021年；Zbl 1493.68200）
全文： 内政部 arXiv公司
阿萨亚，斯尼格达;拉加万·科蒙多尔;Kumar，K.纳拉扬

使用无限抽象域的异步系统的数据流分析。 （英语） Zbl 1473.68110号

Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 30-58 (2021).
MSC公司：68问题85 64岁以下 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Athaiya}等人，Lect。注释计算。科学。12648，30-58（2021；Zbl 1473.68110）
全文： 内政部 arXiv公司
樊楚楚;黄振奇;萨扬·密特拉

近似部分订单减少。 （英语） Zbl 1460.68070号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 588-607 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Fan}等人，Lect。注释计算。科学。10951、588--607（2018；Zbl 1460.68070）
全文： 内政部 arXiv公司
托马斯·特洛伊斯·希尔德布兰特;克里斯蒂安·约翰森;哈贡诺曼

pi-calculus的稳定的无干扰早期操作语义。 （英语） Zbl 1485.68161号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 51-63 (2017).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.T.Hildebrandt}等人，Lect。注释计算。科学。10168，51-63（2017；Zbl 1485.68161）
全文： 内政部 链接
亨利·汉森;王旭

关于事件的起源：将细胞分支为顽固的集合。 （英语） Zbl 1330.68204号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709248-267（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Hansen}和\textit{X.Wang}，Lect。注释计算。科学。6709248--267（2011年；Zbl 1330.68204）
全文： 内政部
杰科·盖尔登胡伊斯;亨利·汉森;安蒂·瓦尔马里

探索部分订单缩减的范围。 （英语） Zbl 1262.68120号

Liu，Zhiming（编辑）等人，验证和分析的自动化技术。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，39-53（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Geldenhuys}等人，莱克特。注释计算。科学。5799、39-53（2009年；Zbl 1262.68120）
全文： 内政部
苏加塔·卡西亚普;维杰·加格。

使用“关键事件”制作简短反例。 （英语） Zbl 1155.68440号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123491-503（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Kashyap｝和\textit｛V.K.Garg｝，Lect。注释计算。科学。5123491--503（2008年；Zbl 1155.68440）
全文： 内政部
阿扎德法尔赞;何塞·梅塞盖尔

编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。
MSC公司：60年第68季度 68甲15 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Farzan}和\textit{J.Meseguer}，电子。理论注释。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件