equal
deleted
inserted
replaced
|
1 @phdthesis{Brandenburg11, |
|
2 Author = {Bj\"{o}rn B. Brandenburg}, |
|
3 School = {The University of North Carolina at Chapel Hill}, |
|
4 Title = {{S}cheduling and {L}ocking in |
|
5 {M}ultiprocessor {R}eal-{T}ime {O}perating {S}ystems}, |
|
6 Year = {2011} |
|
7 } |
|
8 |
|
9 |
1 @inproceedings{ZhangUrbanWu12, |
10 @inproceedings{ZhangUrbanWu12, |
2 author = {X.~Zhang and C.~Urban and C.~Wu}, |
11 author = {X.~Zhang and C.~Urban and C.~Wu}, |
3 title = {{P}riority {I}nheritance {P}rotocol {P}roved {C}orrect}, |
12 title = {{P}riority {I}nheritance {P}rotocol {P}roved {C}orrect}, |
4 booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving}, |
13 booktitle = {Proc.~of the 3rd Conference on Interactive Theorem Proving}, |
5 year = {2012}, |
14 year = {2012}, |