|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Causal View on Non-Interference* |
Baldan, Paolo |
2015 |
140 | 1 |
p. 1-38 |
article |
|
| 2 | Catching a Structural Bug with a Flower |
Avellaneda, Florent |
2015 |
140 | 1 |
p. 61-87 |
article |
|
| 3 | Preface |
Ciardo, Gianfranco |
2015 |
140 | 1 |
p. v-vi |
article |
|
| 4 | Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics |
Mateo, José Antonio |
2015 |
140 | 1 |
p. 89-121 |
article |
|
| 5 | Synthesis of Live and Bounded Persistent Systems |
Best, Eike |
2015 |
140 | 1 |
p. 39-59 |
article |
5 results found