|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A core calculus for dynamic delta-oriented programming |
Damiani, Ferruccio |
2017 |
55 | 4 |
p. 269-307 |
article |
|
| 2 | Algorithms for monitoring real-time properties |
Basin, David |
2017 |
55 | 4 |
p. 309-338 |
article |
|
| 3 | Factorisation of transition systems |
Devillers, Raymond |
2017 |
55 | 4 |
p. 339-362 |
article |
3 results found