Issue 1/2012
Content (3 Articles)
A Decidability Result for the Model Checking of Infinite-State Systems
Daniele Zucchelli, Enrica Nicolini
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio