|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Cache Coherency in SCI: Specification and a Sketch of Correctness |
Felty, Amy |
1999 |
11 | 5 |
p. 475-497 |
artikel |
|
| 2 | Cache Coherency in SCI: Specification and a Sketch of Correctness |
Felty, Amy |
1999 |
11 | 5 |
p. 475-497 |
artikel |
|
| 3 | Hoare Logic and Auxiliary Variables |
Kleymann, Thomas |
1999 |
11 | 5 |
p. 541-566 |
artikel |
|
| 4 | Hoare Logic and Auxiliary Variables |
Kleymann, Thomas |
1999 |
11 | 5 |
p. 541-566 |
artikel |
|
| 5 | Overtaking in Asynchronous Periodic Systems |
Pitt, D. H. |
1999 |
11 | 5 |
p. 567-590 |
artikel |
|
| 6 | Overtaking in Asynchronous Periodic Systems |
Pitt, D. H. |
1999 |
11 | 5 |
p. 567-590 |
artikel |
|
| 7 | Sharp Retrenchment, Modulated Refinement and Simulation |
Banach, R. |
1999 |
11 | 5 |
p. 498-540 |
artikel |
|
| 8 | Sharp Retrenchment, Modulated Refinement and Simulation |
Banach, R. |
1999 |
11 | 5 |
p. 498-540 |
artikel |
8 gevonden resultaten