Towards Component Verification in the Generic Component Framework

Padberg, Julia; Ehrig, Hartmut; Orejas, Fernando

doi:10.1016/j.entcs.2009.03.025

Verlagslink DOI:	10.1016/j.entcs.2009.03.025
Titel:	Towards Component Verification in the Generic Component Framework
Autorenschaft:	Padberg, Julia Ehrig, Hartmut Orejas, Fernando
Erscheinungsdatum:	2009
Zeitschrift oder Schriftenreihe:	Electronic notes in theoretical computer science : ENTCS
Zeitschriftenband:	203
Zeitschriftenausgabe:	7
Anfangsseite:	37
Endseite:	53
URI:	http://hdl.handle.net/20.500.12738/3064
Einrichtung:	Technische Universität Berlin
Dokumenttyp:	Zeitschriftenbeitrag
Enthalten in den Sammlungen:	Publications without full text