External Links

    Journal: Formal Methods in System Design

    Volume 18, Issue 1

    5 -- 23Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen. Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
    25 -- 68Stavros Tripakis, Sergio Yovine. Analysis of Timed Systems Using Time-Abstracting Bisimulations
    69 -- 88Krishnaprasad Thirunarayan, Robert L. Ewing. Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93
    runs on