A Coalgebraic Calculus for Component Based Systems

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelWorkshop on Formal Aspects of Component Software (FACS'03)
Herausgeber (Verlag).
Seiten27-46
Band284
PublikationsstatusVeröffentlicht - 2003
VeranstaltungInternational Symposium of Formal Methods Europe - Pisa, Italien
Dauer: 8 Sep 20039 Sep 2003

Publikationsreihe

NameUNU-IIST Technical Reports

Konferenz

KonferenzInternational Symposium of Formal Methods Europe
LandItalien
OrtPisa
Zeitraum8/09/039/09/03

Dieses zitieren

Meng, S., & Aichernig, B. (2003). A Coalgebraic Calculus for Component Based Systems. in Workshop on Formal Aspects of Component Software (FACS'03) (Band 284, S. 27-46). (UNU-IIST Technical Reports). ..