1. A Formal Framework for Viewpoint Consistency

   • H. Bowman
   • M.W.A. Steen
   • J. Derrick

   OriginalPaper Pages: 111 - 166

2. Limits of Using Signatures for Permutation Independent Boolean Comparison

   • Janett Mohnke
   • Paul Molitor
   • Sharad Malik

   OriginalPaper Pages: 167 - 191

3. Formula-Dependent Equivalence for Compositional CTL Model Checking

   • Adnan Aziz
   • Thomas Shiple
   • Alberto Sangiovanni-Vincentelli

   OriginalPaper Pages: 193 - 224

4. Verification of Hierarchical State/Event Systems using Reusability and Compositionality

   • G. Behrmann
   • K.G. Larsen
   • J. Lind-Nielsen

   OriginalPaper Pages: 225 - 244