|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(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 |
article |
|
| 2 | Semantics, calculi, and analysis for object-oriented specifications |
Brucker, Achim D. |
2009 |
46 | 4 |
p. 255-284 |
article |
|
| 3 | The maximum gain of increasing the number of preemptions in multiprocessor scheduling |
Klonowska, Kamilla |
2009 |
46 | 4 |
p. 285-295 |
article |
3 results found