|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Compositional verification and 3-valued abstractions join forces |
Shoham, Sharon |
2010 |
208 | 2 |
p. 178-202 25 p. |
artikel |
|
| 2 | Editorial Board (continued) |
2010 |
208 | 2 |
p. i- 1 p. |
artikel |
||
| 3 | Inside Front Cover: Editorial Board |
2010 |
208 | 2 |
p. IFC- 1 p. |
artikel |
||
| 4 | On the expressiveness of TPTL and MTL |
Bouyer, Patricia |
2010 |
208 | 2 |
p. 97-116 20 p. |
artikel |
|
| 5 | Parameterized computational complexity of Dodgson and Young elections |
Betzler, Nadja |
2010 |
208 | 2 |
p. 165-177 13 p. |
artikel |
|
| 6 | Regaining cut admissibility in deduction modulo using abstract completion |
Burel, Guillaume |
2010 |
208 | 2 |
p. 140-164 25 p. |
artikel |
|
| 7 | Static analysis of topology-dependent broadcast networks |
Nanz, Sebastian |
2010 |
208 | 2 |
p. 117-139 23 p. |
artikel |
|
| 8 | Weak bisimulation is sound and complete for pCTL ∗ |
Desharnais, Josée |
2010 |
208 | 2 |
p. 203-219 17 p. |
artikel |
8 gevonden resultaten