changeset 359 | 1b9163229f3f |
parent 352 | ee58e3d99f8a |
--- a/prio/Paper/document/root.bib Thu May 24 11:37:03 2012 +0000 +++ b/prio/Paper/document/root.bib Thu Jun 21 15:04:48 2012 +0000 @@ -9,8 +9,9 @@ @Manual{LINUX, author = {S.~Rostedt}, - title = {{R}eal-{T}ime {G}roup {S}cheduling}, - note = {Linux Kernel Distribution at kernel.org, Documentation/scheduler/sched-rt-group.txt} + title = {{RT}-{M}utex {I}mplementation {D}esign}, + note = {Linux Kernel Distribution at, + www.kernel.org/doc/Documentation/rt-mutex-design.txt} } @Misc{PINTOS,