Inproceedings,
IF: An intermediate representation for SDL and its applications.
M. Bozga, J. Fernandez, L. Ghirvu, S. Graf, J. Krimm, L. Mounier, and J. Sifakis.SDL Forum, page 423-440. Elsevier, (1999)
Meta data
- BibTeX key
- conf/sdl/BozgaFGGKMS99
- entry type
- inproceedings
- booktitle
- SDL Forum
- year
- 1999
- pages
- 423-440
- publisher
- Elsevier
- crossref
- conf/sdl/1999
- url
- http://dblp.uni-trier.de/db/conf/sdl/sdl1999.html#BozgaFGGKMS99
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sdl/BozgaFGGKMS99
%A Bozga, Marius
%A Fernandez, Jean-Claude
%A Ghirvu, Lucian
%A Graf, Susanne
%A Krimm, Jean-Pierre
%A Mounier, Laurent
%A Sifakis, Joseph
%B SDL Forum
%D 1999
%E Dssouli, Rachida
%E von Bochmann, Gregor
%E Lahav, Yair
%I Elsevier
%K dblp
%P 423-440
%T IF: An intermediate representation for SDL and its applications.
%U http://dblp.uni-trier.de/db/conf/sdl/sdl1999.html#BozgaFGGKMS99
@inproceedings{conf/sdl/BozgaFGGKMS99,
added-at = {2019-08-02T00:00:00.000+0200},
author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian and Graf, Susanne and Krimm, Jean-Pierre and Mounier, Laurent and Sifakis, Joseph},
biburl = {https://www.bibsonomy.org/bibtex/26a9876f307a3100d3f91ac3828e06c70/dblp},
booktitle = {SDL Forum},
crossref = {conf/sdl/1999},
editor = {Dssouli, Rachida and von Bochmann, Gregor and Lahav, Yair},
interhash = {680b567c9fdf3c1cb8f0e3d370e6aaad},
intrahash = {6a9876f307a3100d3f91ac3828e06c70},
keywords = {dblp},
pages = {423-440},
publisher = {Elsevier},
timestamp = {2019-09-10T11:47:04.000+0200},
title = {IF: An intermediate representation for SDL and its applications.},
url = {http://dblp.uni-trier.de/db/conf/sdl/sdl1999.html#BozgaFGGKMS99},
year = 1999
}