Sciweavers

FMCAD
2009
Springer

Interpolation-sequence based model checking

14 years 21 days ago
Interpolation-sequence based model checking
Yakir Vizel, Orna Grumberg
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMCAD
Authors Yakir Vizel, Orna Grumberg
Comments (0)