Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code (bibtex)
by Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
Reference:
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine codeArkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-VincentelliSci. Comput. Program., volume 77, number 2, pages 96-112, 2012.
Bibtex Entry:
@article{SCP,
title = {Separate compilation of hierarchical real-time programs into linear-bounded
Embedded Machine code},
ee = {http://dx.doi.org/10.1016/j.scico.2010.06.004},
journal = {Sci. Comput. Program.},
author = {Arkadeb Ghosal and Daniel T. Iercan and Christoph M. Kirsch and Thomas
A. Henzinger and Alberto L. Sangiovanni-Vincentelli},
number = {2},
volume = {77},
url = {/pubpdf/Separate_compilation_of_hierarchical_real-time_programs_into_linear-bounded_Embedded_Machine_code.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {96-112},
}
Powered by bibtexbrowser