|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP |
Baranov, Eduard |
|
57 | 6 |
p. 829 |
artikel |
|
| 2 | Expressiveness of component-based frameworks: a study of the expressiveness of BIP |
Baranov, Eduard |
|
57 | 6 |
p. 761-800 |
artikel |
|
| 3 | Preface to special issue: EXPRESS/SOS 2016 + 2017 |
Peters, Kirstin |
|
57 | 6 |
p. 759-760 |
artikel |
|
| 4 | Using session types for reasoning about boundedness in the π-calculus |
Hüttel, Hans |
|
57 | 6 |
p. 801-827 |
artikel |
4 gevonden resultaten