|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Discovering and correcting a deadlock in a channel implementation |
Lowe, Gavin |
2019 |
31 | 4 |
p. 411-419 |
article |
|
| 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 |
article |
|
| 3 | Estimating costs of multi-component enterprise applications |
Brogi, Antonio |
2019 |
31 | 4 |
p. 421-451 |
article |
|
| 4 | John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems |
Banach, Richard |
2019 |
31 | 4 |
p. 453-454 |
article |
4 results found