login
·
register
·
help
·
blog
·
about
·
BibSonomy
::
BibTeX
::
tag
user
group
author
concept
BibTeX key
search:all
search:dblp
username:
password:
OpenID:
A blue social bookmark and publication sharing system.
Home
tags
authors
relations
groups
popular
entry of
dblp
:
spam
SaveCCM: An Analysable Component Model for Real-Time Systems.
by:
Jan
Carlson
and John
Håkansson
and Paul
Pettersson
In:
Electr. Notes Theor. Comput. Sci.
, Vol. 160 (2006) , p. 127-140.
Citation format (
all formats
):
plain
Harvard
DIN1505
simple HTML
Resources (URL, PDF, PS...)
URL:
http://dblp.uni-trier.de/db/journals/entcs/entcs160.html#CarlsonHP06
Description
dblp
BibTeX record
@article{journals/entcs/CarlsonHP06, author = {Jan Carlson and John Håkansson and Paul Pettersson}, interHash = {50a28709866ff5c1a71b0e1f86be6637}, intraHash = {dd17f3be9a9da3a8c1e35bb76de9f53f}, journal = {Electr. Notes Theor. Comput. Sci.}, pages = {127-140}, title = {SaveCCM: An Analysable Component Model for Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs160.html#CarlsonHP06}, volume = {160}, year = {2006}, ee = {http://dx.doi.org/10.1016/j.entcs.2006.05.019}, date = {2007-02-12} }
Endnote record
%0 Journal Article %A Jan Carlson %A John Håkansson %A Paul Pettersson %D 2006 %J Electr. Notes Theor. Comput. Sci. %K %P 127-140 %T SaveCCM: An Analysable Component Model for Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs160.html#CarlsonHP06 %V 160
tags
(
dblp
's tags highlighted)
dblp
users
dblp