Verification of Large State/Event Systems Using Compositionality and Dependency Analysis Jørn Lind-NielsenHenrik Reif AndersenKim G. Larsen OriginalPaper Pages: 5 - 23
Analysis of Timed Systems Using Time-Abstracting Bisimulations Stavros TripakisSergio Yovine OriginalPaper Pages: 25 - 68
Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93 Krishnaprasad ThirunarayanRobert L. Ewing OriginalPaper Pages: 69 - 88