首页期刊浏览 2024年11月23日星期六

登录注册

全文

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

出版年度

	2009	1篇
	2008	2篇
	2006	1篇

作者

	Luca de Alfaro	4篇
	Axel Legay	2篇
	Krishnendu Chatterjee	2篇
	Marco Faella	2篇
	Rupak Majumdar	2篇

	Vishwanath Raman	2篇
	Mariëlle Stoelinga	1篇

来源期刊

	Logical Methods in Computer Science	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

学科主题

计算技术、计算机技术

4篇

语种

英文

4篇

国别/地区

德国

4篇

检索条件:"( ( 高级检索(( ((AU:(("Luca de Alfaro")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Qualitative Logics and Equivalences for Probabilistic Systems

作　　者：Luca de Alfaro ;Krishnendu Chatterjee ;Marco Faella 等

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:7)2009

出版社：Technical University of Braunschweig

文章 ID：47208404

文章详细全文下载
2.Game Refinement Relations and Metrics

作　　者：Luca de Alfaro ;Rupak Majumdar ;Vishwanath Raman 等

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:7)2008

出版社：Technical University of Braunschweig

文章 ID：47109801

文章详细全文下载
3.Algorithms for Game Metrics

作　　者：Krishnendu Chatterjee ;Luca de Alfaro ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:107-118.doi:10.4230/LIPIcs.FSTTCS.2008.1745

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

文章 ID：186845498

文章详细全文下载
4.An Introduction to the Tool Ticc

作　　者：Axel Legay ;Luca de Alfaro ;Marco Faella

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.766

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

文章 ID：186848173

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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