1. A Decidability Result for the Model Checking of Infinite-State Systems

   • Daniele Zucchelli
   • Enrica Nicolini

   OriginalPaper 06 August 2010 Pages: 1 - 42

2. Hybrid

   • Amy Felty
   • Alberto Momigliano

   OriginalPaper 07 August 2010 Pages: 43 - 105

3. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

   • Cristina Borralleras
   • Salvador Lucas
   • Albert Rubio

   OriginalPaper 04 September 2010 Pages: 107 - 131