Publications 1999

International Conferences

  1. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis. IF: An Intermediate Representation for SDL and its Applications. In Proceedings of SDL FORUM'99 (Montreal, Canada), R. Dssouli, G. Bochmann, Y. Lahav (eds.), Pages 423-440, June 1999. (more) pdf