首页期刊浏览 2025年07月03日星期四

登录注册

全文

	有本地全文	3篇
	有全文链接	1篇

出版年度

	2021	1篇
	2019	1篇
	2012	1篇
	2011	1篇

作者

	Cesare Tinelli	4篇
	Abha Moitra	1篇
	Alexander Fuchs	1篇
	Amit Goel	1篇
	Arjun Viswanathan	1篇

	Baoluo Meng	1篇
	Burak Ekici	1篇
	Clark Barrett	1篇
	Daniel Larraz	1篇
	Daniel Prince	1篇
	Heber Herencia-Zapana	1篇
	Jim Grundy	1篇
	John Interrante	1篇
	Kit Siu	1篇
	M. Fareed Arif	1篇
	Michael Durling	1篇
	Moosa Yahyazadeh	1篇
	Omar Chowdhury	1篇
	Saswata Paul	1篇
	Sava Krstić	1篇
	Temesghen Kahsai	1篇
	Vidhya Tekken Valapil	1篇
	William Smith	1篇
	Yoni Zohar	1篇

文章类型

Research Article

1篇

来源期刊

	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	1篇
	Systems	1篇

学科主题

	计算技术、计算机技术	3篇
	系统工程	1篇

语种

英文

4篇

国别/地区

	澳大利亚	2篇
	德国	1篇
	瑞士	1篇

检索条件:"( ( 高级检索(( ((AU:(("Cesare Tinelli")))) )) ) )"

共 4 条记录

排序：全选导出：

1.PKind: A parallel k-induction based model checker

作　　者：Temesghen Kahsai ;Cesare Tinelli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;72:55-62.doi:10.4204/EPTCS.72.6

出版社：Open Publishing Association

文章 ID：83120352

文章详细全文下载
2.VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

作　　者：Baoluo Meng ;Daniel Larraz ;Kit Siu 等

出　　处：Systems. 2021 ;9(1):18.doi:10.3390/systems9010018

出版社：MDPI Publishing

文章 ID：259391220

文章详细全文下载
3.Ground interpolation for the theory of equality

作　　者：Alexander Fuchs ;Amit Goel ;Jim Grundy 等

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:6)2012

出版社：Technical University of Braunschweig

文章 ID：264691943

文章详细全文下载
4.Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

作　　者：Burak Ekici ;Arjun Viswanathan ;Yoni Zohar 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;301:18-26.doi:10.4204/EPTCS.301.4

出版社：Open Publishing Association

文章 ID：1033559464

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有