IF: An intermediate representation for SDL and its applications

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 Rachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. pages 423-440, Elsevier, 1999.

Authors

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Jean-Claude Fernandez

This author has not been identified. Look up 'Jean-Claude Fernandez' in Google

Lucian Ghirvu

This author has not been identified. Look up 'Lucian Ghirvu' in Google

Susanne Graf

This author has not been identified. Look up 'Susanne Graf' in Google

Jean-Pierre Krimm

This author has not been identified. Look up 'Jean-Pierre Krimm' in Google

Laurent Mounier

This author has not been identified. Look up 'Laurent Mounier' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google