|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A practical approach to model checking Duration Calculus using Presburger Arithmetic |
Hansen, Michael R. |
2013 |
71 | 1-3 |
p. 251-278 |
artikel |
|
| 2 | Compositional reasoning using intervals and time reversal |
Moszkowski, Ben |
2013 |
71 | 1-3 |
p. 175-250 |
artikel |
|
| 3 | Guest editors’ preface to special issue on interval temporal logics |
Moszkowski, Ben |
2014 |
71 | 1-3 |
p. 1-9 |
artikel |
|
| 4 | Interval-based temporal functional dependencies: specification and verification |
Combi, Carlo |
2013 |
71 | 1-3 |
p. 85-130 |
artikel |
|
| 5 | RGITL: A temporal logic framework for compositional reasoning about interleaved programs |
Schellhorn, Gerhard |
2014 |
71 | 1-3 |
p. 131-174 |
artikel |
|
| 6 | The dark side of interval temporal logic: marking the undecidability border |
Bresolin, Davide |
2013 |
71 | 1-3 |
p. 41-83 |
artikel |
|
| 7 | The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT |
Bresolin, Davide |
2013 |
71 | 1-3 |
p. 11-39 |
artikel |
7 gevonden resultaten