equal
deleted
inserted
replaced
24 bibsource = {DBLP, http://dblp.uni-trier.de} |
24 bibsource = {DBLP, http://dblp.uni-trier.de} |
25 } |
25 } |
26 |
26 |
27 @techreport{PVS:Interpretations, |
27 @techreport{PVS:Interpretations, |
28 Author= {S. Owre and N. Shankar}, |
28 Author= {S. Owre and N. Shankar}, |
29 Title= {Theory Interpretations in PVS}, |
29 Title= {{T}heory {I}nterpretations in {PVS}}, |
30 Number= {SRI-CSL-01-01}, |
30 Number= {SRI-CSL-01-01}, |
31 Institution= {Computer Science Laboratory, SRI International}, |
31 Institution= {Computer Science Laboratory, SRI International}, |
32 Address= {Menlo Park, CA}, |
32 Address= {Menlo Park, CA}, |
33 Month= {April}, |
33 Month= {April}, |
34 Year= {2001}} |
34 Year= {2001}} |