External Links

    Journal: Formal Methods in System Design

    Volume 11, Issue 3

    223 -- 237Christoph Meinel, Anna Slobodová. A Unifying Theoretical Background for Some Bdd-based Data Structures
    239 -- 264Robin Sharp, Ole Rasmussen. The T-Ruby Design System
    265 -- 294Henrik Hulgaard, Steven M. Burns. Bounded Delay Timing Analysis of a Class of CSP Programs
    runs on