equal
deleted
inserted
replaced
41 number = "2", |
41 number = "2", |
42 pages = "105--117", |
42 pages = "105--117", |
43 year = "1980" |
43 year = "1980" |
44 } |
44 } |
45 |
45 |
46 |
46 @MISC{Faria08, |
|
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}}, |
|
49 year = {2008}, |
|
50 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
|
51 } |
47 |
52 |
48 |
53 |
49 |
54 |
50 |
55 |
51 @MISC{locke-july02, |
56 @MISC{locke-july02, |
54 month = July, |
59 month = July, |
55 year = {2002}, |
60 year = {2002}, |
56 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, |
61 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}}, |
57 } |
62 } |
58 |
63 |
59 @MISC{Faria08, |
64 |
60 author = {J. M. S. Faria}, |
|
61 title = {Formal Development of Solutions for Real-Time Operating Systems with TLA+/TLC}, |
|
62 year = {2008}, |
|
63 howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}}, |
|
64 } |
|
65 |
65 |
66 |
66 |
67 |
67 |
68 |
68 |
69 |
69 |