1.Towards Alternating Automata for Graph Languages

作　　者：H.J. Sander Bruggink ;Mathias Hülsbusch ;Barbara König

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

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

文章 ID：100465480

文章详细全文下载
2.Specification and Verification of Model Transformations

作　　者：Frank Hermann ;Mathias Hülsbusch ;Barbara König

出　　处：Electronic Communications of the EASST. 2010 ;30.

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

文章 ID：100465858

文章详细全文下载
3.Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages

作　　者：H. J. Sander Bruggink ;Mathias Hülsbusch

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

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

文章 ID：100465874

文章详细全文下载
4.Application Conditions for Reactive Systems with Applications to Bisimulation Theory

作　　者：Mathias Hülsbusch

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

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

文章 ID：185437484

文章详细全文下载
5.CONDITIONAL BISIMILARITY FOR REACTIVE SYSTEMS

作　　者：Mathias Hülsbusch ;Barbara König ;Sebastian Küpper 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-41.doi:10.46298/lmcs-18(1:6)2022

出版社：Technical University of Braunschweig

文章 ID：1038046939

文章详细

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

	Lars Stoltenow	1篇
	Sebastian Küpper	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mathias Hülsbusch")))) )) ) )"

	Mathias Hülsbusch	5篇
	Barbara König	3篇
	Frank Hermann	1篇
	H. J. Sander Bruggink	1篇
	H.J. Sander Bruggink	1篇

	Electronic Communications of the EASST	4篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2012	1篇
	2011	2篇
	2010	1篇