equal
deleted
inserted
replaced
1 @MISC{Yodaiken02, |
1 @MISC{Yodaiken02, |
2 author = {V.~Yodaiken}, |
2 author = {V.~Yodaiken}, |
3 title = {{A}gainst {P}riority {I}nheritance}, |
3 title = {{A}gainst {P}riority {I}nheritance}, |
4 year = {2002}, |
4 year = {2002}, |
5 howpublished={\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
5 howpublished = {\url{http://www.linuxfordevices.com/files/misc/yodaiken-july02.pdf}}, |
6 } |
6 } |
7 |
7 |
8 @Book{Vahalia96, |
8 @Book{Vahalia96, |
9 author = {U.~Vahalia}, |
9 author = {U.~Vahalia}, |
10 title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, |
10 title = {{UNIX} {I}nternals: {T}he {N}ew {F}rontiers}, |
11 publisher = {Prentice-Hall}, |
11 publisher = {Prentice-Hall}, |
12 year = {1996} |
12 year = {1996} |
13 } |
13 } |
14 |
14 |
42 pages = "105--117", |
42 pages = "105--117", |
43 year = "1980" |
43 year = "1980" |
44 } |
44 } |
45 |
45 |
46 @MISC{Faria08, |
46 @MISC{Faria08, |
47 author = {J.~M.~S.~Faria}, |
47 author = {J.~M.~S.~Faria}, |
48 title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems with {TLA+/TLC}}, |
48 title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems |
49 year = {2008}, |
49 with {TLA+/TLC}}, |
50 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
50 year = {2008}, |
|
51 howpublished = {\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
51 } |
52 } |
52 |
53 |
53 |
54 |
54 |
55 |
55 |
56 |