|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | GSTE is partitioned model checking |
Sebastiani, Roberto |
2007 |
31 | 2 |
p. 177-196 |
artikel |
|
| 2 | On the optimal reachability problem of weighted timed automata |
Bouyer, Patricia |
2007 |
31 | 2 |
p. 135-175 |
artikel |
|
| 3 | Timed substitutions for regular signal-event languages |
Bérard, Béatrice |
2007 |
31 | 2 |
p. 101-134 |
artikel |
3 gevonden resultaten