×

找到33个文档(结果1-33)

有状态部分顺序缩减的实用方法。 (英语) 兹伯利07728618

Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
PDF格式BibTeX公司 XML格式引用

递归证明中的桥接数组和ADT。 (英语) Zbl 1474.68048号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 24-42 (2021).
MSC公司:68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

理解、解释和衍生细化。 (英语) Zbl 1486.68008号

Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:施普林格。新兴复杂性。计算。35, 195-206 (2020).
MSC公司:68-03 01A70号 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算的集合理论模型。 (英语) Zbl 1390.68297号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,1-22(2013)。
MSC公司:2005年第68季度 03电子75 68号30 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有防护的操作、改进和模拟。 (英语) Zbl 1342.68097号

Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259177-191(2009)。
MSC公司:68号30 68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关系并发求精:自动机。 (英语) Zbl 1342.68226号

Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会论文集(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259,21-34(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

更多关系并发优化:跟踪和部分关系。 (英语) 兹比尔1283.68239

Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214255-276(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并发验证的模拟优化。 (英语) Zbl 1283.68207号

Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214,3-23(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考