equal
deleted
inserted
replaced
69 year = {2002}, |
69 year = {2002}, |
70 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, |
70 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, |
71 } |
71 } |
72 |
72 |
73 |
73 |
74 |
74 @InProceedings{Steinberg10, |
75 |
75 author = {U.~Steinberg and A.~B\"otcher and B.~Kauer}, |
76 |
76 title = {{T}imeslice {D}onation in {C}omponent-{B}ased {S}ystems}, |
77 |
77 booktitle = {Proc.~of the 6th International Workshop on Operating Systems |
|
78 Platforms for Embedded Real-Time Applications (OSPERT)}, |
|
79 pages = {16--23}, |
|
80 year = {2010} |
|
81 } |
78 |
82 |
79 @TechReport{dutertre99b, |
83 @TechReport{dutertre99b, |
80 title = "The {Priority Ceiling Protocol}: Formalization and |
84 title = "The {Priority Ceiling Protocol}: Formalization and |
81 Analysis Using {PVS}", |
85 Analysis Using {PVS}", |
82 author = "B. Dutertre", |
86 author = "B. Dutertre", |