prio/Paper/document/root.bib
changeset 280 c91c2dd08599
parent 279 7911439863b0
child 283 7d2bab099b89
--- a/prio/Paper/document/root.bib	Sat Feb 04 00:14:41 2012 +0000
+++ b/prio/Paper/document/root.bib	Sat Feb 04 22:56:14 2012 +0000
@@ -1,12 +1,12 @@
 @MISC{Yodaiken02,
-  author = {V.~Yodaiken},
-  title = {{A}gainst {P}riority {I}nheritance},
-  year = {2002},
-  howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
+  author =       {V.~Yodaiken},
+  title =        {{A}gainst {P}riority {I}nheritance},
+  year =         {2002},
+  howpublished = {\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}},
 }
 
 @Book{Vahalia96,
-  author =    {U.~Vahalia},
+  author =       {U.~Vahalia},
   title =        {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers},
   publisher =    {Prentice-Hall},
   year =         {1996}
@@ -44,10 +44,11 @@
 }
 
 @MISC{Faria08,
-  author = {J.~M.~S.~Faria},
-  title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems with {TLA+/TLC}},
-  year = {2008},
-  howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
+  author =       {J.~M.~S.~Faria},
+  title =        {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems 
+                 with {TLA+/TLC}},
+  year =         {2008},
+  howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
 }