direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2010

A Framework for Reasoning on Component Composition
Zitatschlüssel KamLudKha2010
Autor Kammüller, F. and Ludovic, H. and Khan, U.M.
Buchtitel Proc. of the 8th International Conference on Formal Methods for Components and Objects (FMCO'09)
Seiten 1-20
Jahr 2010
ISBN 978-3-642-17070-6
Jahrgang 6286
Herausgeber de Boer, F. and Bonsangue, M. and Hallerstede, S. and Leuschel , M.
Verlag Springer
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe