Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

Bernhard Aichernig (Herausgeber), Frank S. de Boer (Herausgeber), Marcello M. Bonsangue (Herausgeber)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Originalspracheenglisch
VerlagSpringer Verlag
ISBN (Print)978-3-642-25270-9
DOIs
PublikationsstatusVeröffentlicht - 2012

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application
  • Experimental

Dies zitieren

Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010. / Aichernig, Bernhard (Herausgeber); de Boer, Frank S. (Herausgeber); Bonsangue, Marcello M. (Herausgeber).

Springer Verlag, 2012.

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

Aichernig, Bernhard (Herausgeber) ; de Boer, Frank S. (Herausgeber) ; Bonsangue, Marcello M. (Herausgeber). / Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010. Springer Verlag, 2012.
@book{308a2e5d1bb146bfa2ecbf253dbb8734,
title = "Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010",
editor = "Bernhard Aichernig and {de Boer}, {Frank S.} and Bonsangue, {Marcello M.}",
note = "Revised Papers",
year = "2012",
doi = "10.1007/978-3-642-25271-6",
language = "English",
isbn = "978-3-642-25270-9",
publisher = "Springer Verlag",
address = "Germany",

}

TY - BOOK

T1 - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

A2 - Aichernig, Bernhard

A2 - de Boer, Frank S.

A2 - Bonsangue, Marcello M.

N1 - Revised Papers

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-25271-6

DO - 10.1007/978-3-642-25271-6

M3 - Anthology

SN - 978-3-642-25270-9

BT - Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

PB - Springer Verlag

ER -