%0 Conference Paper %1 conf/emsoft/BebelisFGL13 %A Bebelis, Vagelis %A Fradet, Pascal %A Girault, Alain %A Lavigueur, Bruno %B EMSOFT %D 2013 %E Ernst, Rolf %E Sokolsky, Oleg %I IEEE %K dblp %P 3:1-3:10 %T BPDF: A statically analyzable dataflow model with integer and boolean parameters. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#BebelisFGL13 %@ 978-1-4799-1443-2

@inproceedings{conf/emsoft/BebelisFGL13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bebelis, Vagelis and Fradet, Pascal and Girault, Alain and Lavigueur, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2fa6829415948c08208bf64b2233fab97/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2013}, editor = {Ernst, Rolf and Sokolsky, Oleg}, ee = {http://dl.acm.org/citation.cfm?id=2555757}, interhash = {e0c44244cd4455518471ba6f7852fb01}, intrahash = {fa6829415948c08208bf64b2233fab97}, isbn = {978-1-4799-1443-2}, keywords = {dblp}, pages = {3:1-3:10}, publisher = {IEEE}, timestamp = {2019-10-17T22:01:19.000+0200}, title = {BPDF: A statically analyzable dataflow model with integer and boolean parameters.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2013.html#BebelisFGL13}, year = 2013 }