|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An abstract framework for choreographic testing |
Coto, Alex |
|
123 | C |
p. |
article |
|
| 2 | A Perron–Frobenius theorem for deciding matrix growth |
Thiemann, René |
|
123 | C |
p. |
article |
|
| 3 | Defining behaviorizeable relations to enable inference in semi-automatic program synthesis |
Krasanakis, Emmanouil |
|
123 | C |
p. |
article |
|
| 4 | Editorial Board |
|
123 | C |
p. |
article |
||
| 5 | Guest Editor's foreword |
Rusu, Vlad |
|
123 | C |
p. |
article |
|
| 6 | Resource provisioning strategies for BPMN processes: Specification and analysis using Maude |
Durán, Francisco |
|
123 | C |
p. |
article |
|
| 7 | Stit semantics for epistemic notions based on information disclosure in interactive settings |
Ramírez Abarca, Aldo Iván |
|
123 | C |
p. |
article |
|
| 8 | Strategies, model checking and branching-time properties in Maude |
Rubio, Rubén |
|
123 | C |
p. |
article |
8 results found