|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A tableau-based decision procedure for CTL* |
Reynolds, Mark |
2011 |
23 | 6 |
p. 739-779 |
article |
|
| 2 | Automated property verification for large scale B models with ProB |
Leuschel, Michael |
2011 |
23 | 6 |
p. 683-709 |
article |
|
| 3 | Compositional refinement in agent-based security protocols |
McIver, A. K. |
2010 |
23 | 6 |
p. 711-737 |
article |
|
| 4 | Editorial |
Cavalcanti, Ana |
2011 |
23 | 6 |
p. 681 |
article |
|
| 5 | Symbolic predictive analysis for concurrent programs |
Wang, Chao |
2011 |
23 | 6 |
p. 781-805 |
article |
5 results found