|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Comparing model checking and logical reasoning for real-time systems |
Dierks, Henning |
2004 |
16 | 2 |
p. 104-120 |
artikel |
|
| 2 | Completeness of a combination of neighbourhood logic and temporal logic |
Barua, Rana |
2004 |
16 | 2 |
p. 96-103 |
artikel |
|
| 3 | Duration-constrained regular expressions |
Xuandong, Li |
2004 |
16 | 2 |
p. 155-163 |
artikel |
|
| 4 | Editorial |
Jones, Cliff |
2004 |
16 | 2 |
p. 95 |
artikel |
|
| 5 | Model-checking dense-time Duration Calculus |
Fränzle, Martin |
2004 |
16 | 2 |
p. 121-139 |
artikel |
|
| 6 | Unifying proof methodologies of duration calculus and timed linear temporal logic |
Liu, Zhiming |
2004 |
16 | 2 |
p. 140-154 |
artikel |
6 gevonden resultaten