G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. An Approach to Modelling and Verification of Component Based Systems. In proc. SOFSEM'07, LNCS, Volume 4362, Pages 295-308, 2007.
Gregor Goessler http://pop-art.inrialpes.fr/people/goessler/Welcome.html
@InProceedings{GoesslerGrafMila*07b,
Author = {Goessler, G. and Graf, S. and Majster-Cederbaum, M. and Martens, M. and Sifakis, J.},
Title = {An Approach to Modelling and Verification of Component Based Systems},
BookTitle = {proc. SOFSEM'07},
Volume = {4362},
Pages = {295--308},
Series = {LNCS},
Publisher = {Springer-Verlag},
Year = {2007}
}
Get EndNote Reference (.ref)