A Coalgebraic Calculus for Component Based Systems

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Workshop on Formal Aspects of Component Software (FACS'03)
Herausgeber (Verlag)	.
Seiten	27-46
Band	284
Publikationsstatus	Veröffentlicht - 2003
Veranstaltung	International Symposium of Formal Methods Europe - Pisa, Italien Dauer: 8 Sept. 2003 → 9 Sept. 2003

Name	UNU-IIST Technical Reports

Konferenz	International Symposium of Formal Methods Europe
Land/Gebiet	Italien
Ort	Pisa
Zeitraum	8/09/03 → 9/09/03

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{dff6fc501e3e4f2fbe959013bc60c6c5,

title = "A Coalgebraic Calculus for Component Based Systems",

author = "Sun Meng and Bernhard Aichernig",

year = "2003",

language = "English",

volume = "284",

series = "UNU-IIST Technical Reports",

publisher = ".",

pages = "27--46",

booktitle = "Workshop on Formal Aspects of Component Software (FACS'03)",

note = "International Symposium of Formal Methods Europe ; Conference date: 08-09-2003 Through 09-09-2003",

}

TY - GEN

T1 - A Coalgebraic Calculus for Component Based Systems

AU - Meng, Sun

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

M3 - Conference paper

VL - 284

T3 - UNU-IIST Technical Reports

SP - 27

EP - 46

BT - Workshop on Formal Aspects of Component Software (FACS'03)

PB - .

T2 - International Symposium of Formal Methods Europe

Y2 - 8 September 2003 through 9 September 2003

ER -