Sciweavers

DATE
2009
IEEE

Speeding up model checking by exploiting explicit and hidden verification constraints

13 years 10 months ago
Speeding up model checking by exploiting explicit and hidden verification constraints
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DATE
Authors Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Comments (0)