prio/Paper/document/root.bib
changeset 352 ee58e3d99f8a
parent 344 27270b4bffba
child 359 1b9163229f3f
--- a/prio/Paper/document/root.bib	Mon Apr 30 15:32:34 2012 +0000
+++ b/prio/Paper/document/root.bib	Wed May 02 13:13:47 2012 +0000
@@ -1,6 +1,22 @@
+
+@Book{Paulson96,
+  author = 	 {L.~C.~Paulson},
+  title = 	 {{ML} for the {W}orking {P}rogrammer},
+  publisher = 	 {Cambridge University Press},
+  year = 	 {1996}
+}
+
+
+@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}
+}
 
 @Misc{PINTOS,
-  title = {\url{http://www.stanford.edu/class/cs140/projects/}},
+  author = {B.~Pfaff},
+  title = {{PINTOS}}, 
+  note = {\url{http://www.stanford.edu/class/cs140/projects/}},
 }