Completeness of a combination of neighbourhood logic and temporal logic Rana Barua OriginalPaper 28 April 2004 Pages: 96 - 103
Comparing model checking and logical reasoning for real-time systems Henning Dierks OriginalPaper 28 April 2004 Pages: 104 - 120
Model-checking dense-time Duration Calculus Martin Fränzle OriginalPaper 27 April 2004 Pages: 121 - 139
Unifying proof methodologies of duration calculus and timed linear temporal logic Zhiming LiuAnders P. RavnXiaoshan Li OriginalPaper 06 May 2004 Pages: 140 - 154
Duration-constrained regular expressions Li XuandongZhao JianhuaZheng Guoliang OriginalPaper 28 April 2004 Pages: 155 - 163