G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. Ensuring Properties of Interaction Systems by Construction. In Program Analysis and Compilation, Theory and Practice, T. Reps, M. Sagiv, J. Bauer (eds.), LNCS, Volume 4444, Pages 201-224, 2007.
Gregor Goessler http://pop-art.inrialpes.fr/people/goessler/Welcome.html
@InProceedings{GoesslerGrafMila*07,
Author = {Goessler, G. and Graf, S. and Majster-Cederbaum, M. and Martens, M. and Sifakis, J.},
Title = {Ensuring Properties of Interaction Systems by Construction},
BookTitle = {Program Analysis and Compilation, Theory and Practice},
editor = {Reps, T. and Sagiv, M. and Bauer, J.},
Volume = {4444},
Pages = {201--224},
Series = {LNCS},
Year = {2007}
}
Get EndNote Reference (.ref)