en
de
BibSonomy
publication
tag
user
group
author
concept
BibTeX key
search:all
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
URL
DOI
TeX
publication post of
dblp
tags
(
dblp
's tags highlighted)
dblp
users
dblp
in citation format:
www
Harvard
Chicago
APA
DIN 1505
BibTeX
EndNote
all formats
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Arkadeb Ghosal
,
Daniel T. Iercan
,
Christoph M. Kirsch
,
Thomas A. Henzinger
, and
Alberto L. Sangiovanni-Vincentelli
.
Sci. Comput. Program.
77(2):96-112
(
2012
)
@article{journals/scp/GhosalIKHS12, added-at = {2011-12-14T00:00:00.000+0100}, author = {Ghosal, Arkadeb and Iercan, Daniel T. and Kirsch, Christoph M. and Henzinger, Thomas A. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {http://www.bibsonomy.org/bibtex/21c0ed331761763e380e342b9781b1ea5/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2010.06.004}, interhash = {fa95685017fc93511c1fdbee39c65d33}, intrahash = {1c0ed331761763e380e342b9781b1ea5}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 2, pages = {96-112}, timestamp = {2011-12-14T00:00:00.000+0100}, title = {Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp77.html#GhosalIKHS12}, volume = 77, year = 2012 }
%0 Journal Article %1 journals/scp/GhosalIKHS12 %A Ghosal, Arkadeb %A Iercan, Daniel T. %A Kirsch, Christoph M. %A Henzinger, Thomas A. %A Sangiovanni-Vincentelli, Alberto L. %D 2012 %J Sci. Comput. Program. %K %N 2 %P 96-112 %T Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. %U http://dblp.uni-trier.de/db/journals/scp/scp77.html#GhosalIKHS12 %V 77
discussion
(0)
resources (URL, PDF, ...)
URL:
http://dblp.uni-trier.de/db/journals/scp/scp77.html#GhosalIKHS12
internal link:
?
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
BibTeX key:
journals/scp/GhosalIKHS12
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact