首页期刊浏览 2024年12月03日星期二

登录注册

全文

有本地全文

3篇

出版年度

	2020	1篇
	2019	1篇
	2017	1篇

作者

	Peter Chini	3篇
	Prakash Saivasan	3篇
	Roland Meyer	2篇
	Andreas Krebs	1篇
	Jonathan Kolberg	1篇

来源期刊

LIPIcs : Leibniz International Proceedings in Informatics

3篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("Peter Chini")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Complexity of Liveness in Parameterized Systems

作　　者：Peter Chini ;Roland Meyer ;Prakash Saivasan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.37

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：241519891

文章详细全文下载
2.On the Complexity of Bounded Context Switching

作　　者：Peter Chini ;Jonathan Kolberg ;Andreas Krebs 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;87:27:1-27:15.doi:10.4230/LIPIcs.ESA.2017.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735234

文章详细全文下载
3.A Framework for Consistency Algorithms

作　　者：Peter Chini ;Prakash Saivasan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.42

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：257805112

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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