Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue
Document Type
Proceedings Paper
Year published
2011
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6957 LNCS, Pages: 204-224
Conference
9Th International Symposium on Formal Methods for Components and Objects, Fmco 2010, Date: 29 November 2010 through 1 December 2010, Location: Graz, Sponsors: European FP7 project MOGENTES;Graz University of Technology;Graz Convention Bureau