|
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 | Discovering and correcting a deadlock in a channel implementation |
Lowe, Gavin |
2019 |
31 | 4 |
p. 411-419 |
artikel |
|
| 2 | Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking |
Konnov, Igor |
2019 |
31 | 4 |
p. 455-456 |
artikel |
|
| 3 | Estimating costs of multi-component enterprise applications |
Brogi, Antonio |
2019 |
31 | 4 |
p. 421-451 |
artikel |
|
| 4 | John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems |
Banach, Richard |
2019 |
31 | 4 |
p. 453-454 |
artikel |
4 gevonden resultaten