|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An abstract framework for choreographic testing |
Coto, Alex |
|
123 | C |
p. |
artikel |
|
| 2 | A Perron–Frobenius theorem for deciding matrix growth |
Thiemann, René |
|
123 | C |
p. |
artikel |
|
| 3 | Defining behaviorizeable relations to enable inference in semi-automatic program synthesis |
Krasanakis, Emmanouil |
|
123 | C |
p. |
artikel |
|
| 4 | Editorial Board |
|
123 | C |
p. |
artikel |
||
| 5 | Guest Editor's foreword |
Rusu, Vlad |
|
123 | C |
p. |
artikel |
|
| 6 | Resource provisioning strategies for BPMN processes: Specification and analysis using Maude |
Durán, Francisco |
|
123 | C |
p. |
artikel |
|
| 7 | Stit semantics for epistemic notions based on information disclosure in interactive settings |
Ramírez Abarca, Aldo Iván |
|
123 | C |
p. |
artikel |
|
| 8 | Strategies, model checking and branching-time properties in Maude |
Rubio, Rubén |
|
123 | C |
p. |
artikel |
8 gevonden resultaten