|
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 stable programming language |
Paolini, Luca |
2006 |
204 | 3 |
p. 339-375 37 p. |
artikel |
|
| 2 | Editorial Board |
2006 |
204 | 3 |
p. CO2- 1 p. |
artikel |
||
| 3 | Editorial Board |
2006 |
204 | 3 |
p. i- 1 p. |
artikel |
||
| 4 | Incompleteness of states w.r.t. traces in model checking |
Giacobazzi, Roberto |
2006 |
204 | 3 |
p. 376-407 32 p. |
artikel |
|
| 5 | On model-checking timed automata with stopwatch observers |
Brihaye, Thomas |
2006 |
204 | 3 |
p. 408-433 26 p. |
artikel |
5 gevonden resultaten