Introduction to the Special Issue on Computer-Aided Verification (CAV93) Costas Courcoubetis Legacy Pages: 111 - 112
An Efficient Algorithm for Minimizing Real-Time Transition Systems Mihalis YannakakisDavid Lee OriginalPaper Pages: 113 - 136
Computing Accumulated Delays in Real-time Systems Rajeev AlurCostas CourcoubetisThomas A. Henzinger OriginalPaper Pages: 137 - 155
Verification of Real-Time Systems using Linear Relation Analysis Nicolas HalbwachsYann-Erick ProyPatrick Roumanoff OriginalPaper Pages: 157 - 185
Efficient Verification of Parallel Real–Time Systems Tomohiro YonedaBernd–Holger Schlingloff OriginalPaper Pages: 187 - 215