1.Integrated Structure and Semantics for Reo Connectors and Petri Nets

作　　者：Christian Krause

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;12:57-69.doi:10.4204/EPTCS.12.4

出版社：Open Publishing Association

文章 ID：83119787

文章详细全文下载
2.A Compositional Semantics for Stochastic Reo Connectors

作　　者：Young-Joo Moon ;Alexandra Silva ;Christian Krause 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;30:93-107.doi:10.4204/EPTCS.30.7

出版社：Open Publishing Association

文章 ID：83119962

文章详细全文下载
3.Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

作　　者：Christian Krause ;Holger Giese

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;73:64-78.doi:10.4204/EPTCS.73.8

出版社：Open Publishing Association

文章 ID：83120365

文章详细全文下载
4.7th International Workshop on Graph Based Tools (GraBaTs 2012): Preface

作　　者：Christian Krause ;Bernhard Westfechtel

出　　处：Electronic Communications of the EASST. 2012 ;54.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465551

文章详细全文下载
5.Distributed Port Automata

作　　者：Christian Krause

出　　处：Electronic Communications of the EASST. 2011 ;41.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465906

文章详细全文下载

	Christian Krause	5篇
	Alexandra Silva	1篇
	Bernhard Westfechtel	1篇
	Farhad Arbab	1篇
	Holger Giese	1篇

	澳大利亚	3篇
	德国	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Christian Krause")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	3篇
	Electronic Communications of the EASST	2篇

	2012	1篇
	2011	2篇
	2010	1篇
	2009	1篇