A Formal Framework for Viewpoint Consistency H. BowmanM.W.A. SteenJ. Derrick OriginalPaper Pages: 111 - 166
Limits of Using Signatures for Permutation Independent Boolean Comparison Janett MohnkePaul MolitorSharad Malik OriginalPaper Pages: 167 - 191
Formula-Dependent Equivalence for Compositional CTL Model Checking Adnan AzizThomas ShipleAlberto Sangiovanni-Vincentelli OriginalPaper Pages: 193 - 224
Verification of Hierarchical State/Event Systems using Reusability and Compositionality G. BehrmannK.G. LarsenJ. Lind-Nielsen OriginalPaper Pages: 225 - 244