|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Advancing orchestration synthesis for contract automata |
Basile, Davide |
|
141 | C |
p. |
artikel |
|
| 2 | A logical account of subtyping for session types |
Horne, Ross |
|
141 | C |
p. |
artikel |
|
| 3 | A logical approach to graph databases |
Pino, Elvira |
|
141 | C |
p. |
artikel |
|
| 4 | Controlling stormwater detention ponds under partial observability |
Kim, Esther H. |
|
141 | C |
p. |
artikel |
|
| 5 | Editorial Board |
|
141 | C |
p. |
artikel |
||
| 6 | Efficient analysis of belief properties in process algebra |
Moezkarimi, Zahra |
|
141 | C |
p. |
artikel |
|
| 7 | Formal definitions and proofs for partial (co)recursive functions |
Cheval, HoraĊ£iu |
|
141 | C |
p. |
artikel |
|
| 8 | Optimizing term rewriting with creeper trace transducers |
Erkens, Rick |
|
141 | C |
p. |
artikel |
|
| 9 | Towards the exact complexity of realizability for Safety LTL |
Arteche, Noel |
|
141 | C |
p. |
artikel |
|
| 10 | When causality meets fairness: A survey |
Makhlouf, Karima |
|
141 | C |
p. |
artikel |
10 gevonden resultaten