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.
@inproceedings{BozgaFGGKMS99,
title = {IF: An intermediate representation for SDL and its applications},
author = {Marius Bozga and Jean-Claude Fernandez and Lucian Ghirvu and Susanne Graf and Jean-Pierre Krimm and Laurent Mounier and Joseph Sifakis},
year = {1999},
tags = {intermediate representation},
researchr = {https://researchr.org/publication/BozgaFGGKMS99},
cites = {0},
citedby = {0},
pages = {423-440},
booktitle = {SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings},
editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav},
publisher = {Elsevier},
}