External Links

    Journal: Formal Methods in System Design

    Volume 11, Issue 1

    5 -- 21Bernd Becker, Rolf Drechsler, Michael Theobald. On the Expressive Power of OKFDDs
    23 -- 40Robert H. Sloan, Ugo A. Buy. Stubborn Sets for Real-Time Petri Nets
    41 -- 70Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee. Joint Minimization of Code and Data for Synchronous Dataflow Programs
    71 -- 104Bishop Brock, Warren A. Hunt Jr.. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor
    runs on