A Unifying Theoretical Background for Some Bdd-based Data Structures Christoph MeinelAnna Slobodová OriginalPaper Pages: 223 - 237
Bounded Delay Timing Analysis of a Class of CSP Programs Henrik HulgaardSteven M. Burns OriginalPaper Pages: 265 - 294