Jump to : Contact | BibTex reference | EndNote reference |

GoesslerGrafMila*07b

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.

Contact

Gregor Goessler http://pop-art.inrialpes.fr/people/goessler/Welcome.html

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)