|
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 | Editorial board |
2006 |
204 | 9 |
p. CO2- 1 p. |
artikel |
||
| 2 | Editorial board |
2006 |
204 | 9 |
p. i- 1 p. |
artikel |
||
| 3 | Statistical probabilistic model checking with a focus on time-bounded properties |
Younes, Håkan L.S. |
2006 |
204 | 9 |
p. 1368-1409 42 p. |
artikel |
|
| 4 | Table design in dynamic programming |
Steffen, Peter |
2006 |
204 | 9 |
p. 1325-1345 21 p. |
artikel |
|
| 5 | The alternation hierarchy in fixpoint logic with chop is strict too |
Lange, Martin |
2006 |
204 | 9 |
p. 1346-1367 22 p. |
artikel |
5 gevonden resultaten