|
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 | A general framework for types in graph rewriting |
König, Barbara |
2005 |
42 | 4-5 |
p. 349-388 |
artikel |
|
| 2 | safeDpi: a language for controlling mobile code |
Hennessy, Matthew |
2005 |
42 | 4-5 |
p. 227-290 |
artikel |
|
| 3 | Type-based information flow analysis for the π-calculus |
Kobayashi, Naoki |
2005 |
42 | 4-5 |
p. 291-347 |
artikel |
3 gevonden resultaten