|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Cache Coherency in SCI: Specification and a Sketch of Correctness |
Felty, Amy |
1999 |
11 | 5 |
p. 475-497 |
article |
|
| 2 | Cache Coherency in SCI: Specification and a Sketch of Correctness |
Felty, Amy |
1999 |
11 | 5 |
p. 475-497 |
article |
|
| 3 | Hoare Logic and Auxiliary Variables |
Kleymann, Thomas |
1999 |
11 | 5 |
p. 541-566 |
article |
|
| 4 | Hoare Logic and Auxiliary Variables |
Kleymann, Thomas |
1999 |
11 | 5 |
p. 541-566 |
article |
|
| 5 | Overtaking in Asynchronous Periodic Systems |
Pitt, D. H. |
1999 |
11 | 5 |
p. 567-590 |
article |
|
| 6 | Overtaking in Asynchronous Periodic Systems |
Pitt, D. H. |
1999 |
11 | 5 |
p. 567-590 |
article |
|
| 7 | Sharp Retrenchment, Modulated Refinement and Simulation |
Banach, R. |
1999 |
11 | 5 |
p. 498-540 |
article |
|
| 8 | Sharp Retrenchment, Modulated Refinement and Simulation |
Banach, R. |
1999 |
11 | 5 |
p. 498-540 |
article |
8 results found