1. Introduction to the Special Issue on Computer-Aided Verification (CAV93)

   • Costas Courcoubetis

   Legacy Pages: 111 - 112

2. An Efficient Algorithm for Minimizing Real-Time Transition Systems

   • Mihalis Yannakakis
   • David Lee

   OriginalPaper Pages: 113 - 136

3. Computing Accumulated Delays in Real-time Systems

   • Rajeev Alur
   • Costas Courcoubetis
   • Thomas A. Henzinger

   OriginalPaper Pages: 137 - 155

4. Verification of Real-Time Systems using Linear Relation Analysis

   • Nicolas Halbwachs
   • Yann-Erick Proy
   • Patrick Roumanoff

   OriginalPaper Pages: 157 - 185

5. Efficient Verification of Parallel Real–Time Systems

   • Tomohiro Yoneda
   • Bernd–Holger Schlingloff

   OriginalPaper Pages: 187 - 215