|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Author Index |
2008 |
77 | 1-2 |
p. 155- 1 p. |
article |
||
| 2 | Backwards type analysis of asynchronous method calls |
Johnsen, Einar Broch |
2008 |
77 | 1-2 |
p. 40-59 20 p. |
article |
|
| 3 | Comparing disjunctive modal transition systems with an one-selecting variant |
Fecher, H. |
2008 |
77 | 1-2 |
p. 20-39 20 p. |
article |
|
| 4 | Contents |
2008 |
77 | 1-2 |
p. v- 1 p. |
article |
||
| 5 | Cryptographic protocol logic: Satisfaction for (timed) Dolev–Yao cryptography |
Kramer, Simon |
2008 |
77 | 1-2 |
p. 60-91 32 p. |
article |
|
| 6 | Editorial Board |
2008 |
77 | 1-2 |
p. IFC- 1 p. |
article |
||
| 7 | Guest Editors’ Foreword |
Aceto, Luca |
2008 |
77 | 1-2 |
p. vii- 1 p. |
article |
|
| 8 | Keyword Index |
2008 |
77 | 1-2 |
p. 156- 1 p. |
article |
||
| 9 | Models and formal verification of multiprocessor system-on-chips |
Brekling, Aske |
2008 |
77 | 1-2 |
p. 1-19 19 p. |
article |
|
| 10 | Pathway analysis for BioAmbients |
Pilegaard, Henrik |
2008 |
77 | 1-2 |
p. 92-130 39 p. |
article |
|
| 11 | Program and proof optimizations with type systems |
Saabas, Ando |
2008 |
77 | 1-2 |
p. 131-154 24 p. |
article |
11 results found