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