Original language | English |
---|---|
Journal | Lecture Notes in Computer Science |
Issue number | 6957 |
DOIs | |
Publication status | Published - 2011 |
Event | Formal Methods for Components and Objects - Berlin Duration: 1 Jan 2011 → 1 Jan 2011 |
Bibliographical note
Proceedings title: Formal Methods for Components and Objects (FMCO 2010, Graz, Austria, November 29-December 1, 2010. Revised Papers)Publisher: Springer
Place of publication: Berlin