|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,† |
Paduraru, Ciprian Ionut |
|
173 | 2-3 |
p. 139-176 |
article |
|
| 2 | A Many-sorted Polyadic Modal Logic |
Leuştean, Ioana |
|
173 | 2-3 |
p. 191-215 |
article |
|
| 3 | Causal Reasoning for Safety in Hennessy Milner Logic |
Caltais, Georgiana |
|
173 | 2-3 |
p. 217-251 |
article |
|
| 4 | Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations |
Diaconescu, Denisa |
|
173 | 2-3 |
p. 177-189 |
article |
|
| 5 | Parametric Systems: Verification and Synthesis |
Sofronie-Stokkermans, Viorica |
|
173 | 2-3 |
p. 91-138 |
article |
|
| 6 | Preface |
Kleijn, Jetty |
|
173 | 2-3 |
p. i-ii |
article |
6 results found
Toegankelijkheidsverklaring