|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A tableau-based decision procedure for CTL* |
Reynolds, Mark |
2011 |
23 | 6 |
p. 739-779 |
artikel |
|
| 2 | Automated property verification for large scale B models with ProB |
Leuschel, Michael |
2011 |
23 | 6 |
p. 683-709 |
artikel |
|
| 3 | Compositional refinement in agent-based security protocols |
McIver, A. K. |
2010 |
23 | 6 |
p. 711-737 |
artikel |
|
| 4 | Editorial |
Cavalcanti, Ana |
2011 |
23 | 6 |
p. 681 |
artikel |
|
| 5 | Symbolic predictive analysis for concurrent programs |
Wang, Chao |
2011 |
23 | 6 |
p. 781-805 |
artikel |
5 gevonden resultaten