|
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 | A unified view of parameterized verification of abstract models of broadcast communication |
Delzanno, Giorgio |
2016 |
18 | 5 |
p. 475-493 |
artikel |
|
| 2 | Counting dynamically synchronizing processes |
Ganjei, Zeinab |
2016 |
18 | 5 |
p. 517-534 |
artikel |
|
| 3 | Parameterized model checking for security policy analysis |
Ranise, Silvio |
2015 |
18 | 5 |
p. 559-573 |
artikel |
|
| 4 | Parameterized verification |
Abdulla, Parosh A. |
2016 |
18 | 5 |
p. 469-473 |
artikel |
|
| 5 | Parameterized verification through view abstraction |
Abdulla, Parosh |
2015 |
18 | 5 |
p. 495-516 |
artikel |
|
| 6 | Soundness of data-aware, case-centric processes |
Montali, Marco |
2016 |
18 | 5 |
p. 535-558 |
artikel |
6 gevonden resultaten