1. Question-guided stubborn set methods for state properties

   • L. M. Kristensen
   • K. Schmidt
   • A. Valmari

   OriginalPaper 06 July 2006 Pages: 215 - 251

   

2. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

   • Peter Csaba Ölveczky
   • José Meseguer
   • Carolyn L. Talcott

   OriginalPaper 14 July 2006 Pages: 253 - 293

   

3. Data structures for symbolic multi-valued model-checking

   • Marsha Chechik
   • Arie Gurfinkel
   • Steve Easterbrook

   OriginalPaper 31 August 2006 Pages: 295 - 344