Towards Component Verification in the Generic Component Framework

Padberg, Julia; Ehrig, Hartmut; Orejas, Fernando

doi:10.1016/j.entcs.2009.03.025

DC Element	Wert	Sprache
dc.contributor.author	Padberg, Julia	-
dc.contributor.author	Ehrig, Hartmut	-
dc.contributor.author	Orejas, Fernando	-
dc.date.accessioned	2020-08-26T12:10:24Z	-
dc.date.available	2020-08-26T12:10:24Z	-
dc.date.issued	2009
dc.identifier.uri	http://hdl.handle.net/20.500.12738/3064	-
dc.relation.ispartof	Electronic notes in theoretical computer science : ENTCS
dc.title	Towards Component Verification in the Generic Component Framework
dc.type	Article	en_US
tuhh.container.endpage	53
tuhh.container.issue	7
tuhh.container.startpage	37
tuhh.container.volume	203
tuhh.oai.show	true	en_US
tuhh.publication.institute	Technische Universität Berlin	en_US
tuhh.publisher.doi	10.1016/j.entcs.2009.03.025
tuhh.type.opus	(wissenschaftlicher) Artikel	-
dc.type.casrai	Journal Article	-
dc.type.dini	article	-
dc.type.driver	article	-
dcterms.DCMIType	Text	-
item.creatorGND	Padberg, Julia	-
item.creatorGND	Ehrig, Hartmut	-
item.creatorGND	Orejas, Fernando	-
item.fulltext	No Fulltext	-
item.creatorOrcid	Padberg, Julia	-
item.creatorOrcid	Ehrig, Hartmut	-
item.creatorOrcid	Orejas, Fernando	-
item.grantfulltext	none	-
item.cerifentitytype	Publications	-
item.openairecristype	http://purl.org/coar/resource_type/c_6501	-
item.openairetype	Article	-
crisitem.author.dept	Department Informatik	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text