|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Actor-based model checking for Software-Defined Networks |
Albert, Elvira |
|
118 | C |
p. |
artikel |
|
| 2 | A navigational logic for reasoning about graph properties |
Navarro, Marisa |
|
118 | C |
p. |
artikel |
|
| 3 | (Co)inductive proof systems for compositional proofs in reachability logic |
Rusu, Vlad |
|
118 | C |
p. |
artikel |
|
| 4 | Editorial Board |
|
118 | C |
p. |
artikel |
||
| 5 | Runtime verification for dynamic architectures |
Marmsoler, Diego |
|
118 | C |
p. |
artikel |
|
| 6 | Soft constraint automata with memory |
Dokter, Kasper |
|
118 | C |
p. |
artikel |
6 gevonden resultaten