|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Atomic actions, and their refinements to isolated protocols |
Banach, Richard |
2009 |
22 | 1 |
p. 33-61 |
article |
|
| 2 | Editorial |
Boiten, Eerke |
2009 |
22 | 1 |
p. 1 |
article |
|
| 3 | Invariant-based reasoning about parameterized security protocols |
Mooij, Arjan J. |
2009 |
22 | 1 |
p. 63-81 |
article |
|
| 4 | Refinement algebra for probabilistic programs |
Meinicke, Larissa |
2009 |
22 | 1 |
p. 3-31 |
article |
4 results found