Question-guided stubborn set methods for state properties L. M. KristensenK. SchmidtA. Valmari OriginalPaper 06 July 2006 Pages: 215 - 251
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude Peter Csaba ÖlveczkyJosé MeseguerCarolyn L. Talcott OriginalPaper 14 July 2006 Pages: 253 - 293
Data structures for symbolic multi-valued model-checking Marsha ChechikArie GurfinkelSteve Easterbrook OriginalPaper 31 August 2006 Pages: 295 - 344