--- 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}},
}