|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstracting cryptographic protocols with tree automata |
Monniaux, David |
2003 |
47 | 2-3 |
p. 177-202 26 p. |
artikel |
|
| 2 | Abstract interpretation of mobile ambients |
Nielson, Flemming |
2003 |
47 | 2-3 |
p. 145-175 31 p. |
artikel |
|
| 3 | Author Index |
2003 |
47 | 2-3 |
p. 243- 1 p. |
artikel |
||
| 4 | Comprehensive synchronization elimination for Java |
Aldrich, Jonathan |
2003 |
47 | 2-3 |
p. 91-120 30 p. |
artikel |
|
| 5 | Editorial board |
2003 |
47 | 2-3 |
p. IFC- 1 p. |
artikel |
||
| 6 | Eliminating dead code on recursive data |
Liu, Yanhong A. |
2003 |
47 | 2-3 |
p. 221-242 22 p. |
artikel |
|
| 7 | Infinitary relations and their representation |
Mauborgne, Laurent |
2003 |
47 | 2-3 |
p. 121-144 24 p. |
artikel |
|
| 8 | State space reduction based on live variables analysis |
Fernandez, Jean-Claude |
2003 |
47 | 2-3 |
p. 203-220 18 p. |
artikel |
|
| 9 | Static Analysis |
Cortesi, Agostino |
2003 |
47 | 2-3 |
p. 89-90 2 p. |
artikel |
9 gevonden resultaten