|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Correctness proof of a database replication protocol under the perspective of the I/O automaton model |
Armendáriz-Iñigo, José Enrique |
2009 |
46 | 4 |
p. 297-330 |
artikel |
|
| 2 | Semantics, calculi, and analysis for object-oriented specifications |
Brucker, Achim D. |
2009 |
46 | 4 |
p. 255-284 |
artikel |
|
| 3 | The maximum gain of increasing the number of preemptions in multiprocessor scheduling |
Klonowska, Kamilla |
2009 |
46 | 4 |
p. 285-295 |
artikel |
3 gevonden resultaten