首页期刊浏览 2024年11月26日星期二

登录注册

全文

有本地全文

4篇

出版年度

	2015	1篇
	2012	1篇
	2008	2篇

作者

	Felix Klaedtke	4篇
	David Basin	2篇
	Birgit Pfitzmann	1篇
	Eugen Zalinescu	1篇
	Julian Gutierrez	1篇

	Martin Lange	1篇
	Samuel M{\"u}ller	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

	德国	3篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Felix Klaedtke")))) )) ) )"

共 4 条记录

排序：全选导出：

1.The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

作　　者：Julian Gutierrez ;Felix Klaedtke ;Martin Lange

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:113-126.doi:10.4204/EPTCS.96.9

出版社：Open Publishing Association

文章 ID：83120591

文章详细全文下载
2.Ehrenfeucht-Fraissé Goes Automatic for Real Addition

作　　者：Felix Klaedtke

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:445-456.doi:10.4230/LIPIcs.STACS.2008.1364

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

文章 ID：186845469

文章详细全文下载
3.Runtime Monitoring of Metric First-order Temporal Properties

作　　者：David Basin ;Felix Klaedtke ;Samuel M{\"u}ller 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:49-60.doi:10.4230/LIPIcs.FSTTCS.2008.1740

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

文章 ID：186845518

文章详细全文下载
4.Failure-aware Runtime Verification of Distributed Systems

作　　者：David Basin ;Felix Klaedtke ;Eugen Zalinescu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:590-603.doi:10.4230/LIPIcs.FSTTCS.2015.590

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

文章 ID：186847213

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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