1. A Unifying Theoretical Background for Some Bdd-based Data Structures

   • Christoph Meinel
   • Anna Slobodová

   OriginalPaper Pages: 223 - 237

2. The T-Ruby Design System

   • Robin Sharp
   • Ole Rasmussen

   OriginalPaper Pages: 239 - 264

3. Bounded Delay Timing Analysis of a Class of CSP Programs

   • Henrik Hulgaard
   • Steven M. Burns

   OriginalPaper Pages: 265 - 294